Ещё не выпущенная модель OpenAI подготовила 722 математические работы
OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнительные доказательства или следствия.Компания расширила проверку моделей на открытых исследовательских задачах после насыщения прежних математических бенчмарков.
В ходе оценки модели предложили около 4000 задач. Для большинства результатов использовалась одинаковая процедура, требовавшая в среднем трёх часов вычислений в режиме размышления.
habr.com