OpenAI выложила 722 математические работы внутренней модели
Они сгруппированы в 372 семейства и созданы при проверке 4000 открытых задач — в среднем на результат уходило около трёх часов. Работы находятся на разных стадиях проверки: у некоторых ещё нет формализации в Lean, а в отдельных могут быть ошибки.
https://github.com/openai/math
Они сгруппированы в 372 семейства и созданы при проверке 4000 открытых задач — в среднем на результат уходило около трёх часов. Работы находятся на разных стадиях проверки: у некоторых ещё нет формализации в Lean, а в отдельных могут быть ошибки.
https://github.com/openai/math