Компания OpenAI опубликовала на GitHub 722 математические рукописи, созданные невыпущенной внутренней моделью ИИ. По заявлению представителей компании, большая часть результатов получена с помощью одного запроса к одному ИИ-агенту. Всего модель обработала около 4000 задач, а опубликованные материалы распределены по 372 тематическим группам.
На выполнение среднего результата потребовались вычислительные мощности, эквивалентные трем часам работы ChatGPT Pro. На текущий момент лишь 162 рукописи, что составляет около 22% от общего числа, прошли проверку через программное обеспечение Lean. В OpenAI признали, что неоформленные результаты могут содержать ошибки, и пообещали добавлять верификации по мере их получения.
Публикация вызвала критику со стороны математиков из MIT и Института перспективных исследований. Эксперты отмечают, что модель остается закрытой, а репозиторий не принимает внешние правки. OpenAI пока не раскрыла полные цепочки рассуждений, конкретные промпты и точные затраты вычислительных ресурсов для каждого отдельного результата.
Среди опубликованных работ выделяется одна, касающаяся гипотезы квази-Римана. В то время как некоторые ученые называют это значимым прогрессом, другие настаивают на необходимости полной прозрачности данных. Для сравнения, компания Anthropic ранее опубликовала 13 миллионов строк кода с доказательством Великой теоремы Ферма, полностью проверенным в системе Lean.
