OpenAI опубликовала 722 математические рукописи — математики спешат их проверить

OpenAI опубликовала 6 октября 2026 года 722 математические рукописи, созданные нераскрытой внутренней передовой моделью, в своём публичном репозитории GitHub «openai/math»; более трёх десятков математиков заявили изданию The Verge в материале, опубликованном 9 октября, что разобраться в этой публикации может потребоваться несколько лет.

Что было опубликовано

• В своём объявлении OpenAI сообщила, что репозиторий «на данный момент содержит 722 рукописи, организованные в 372 связанные семейства результатов», включая статьи, артефакты доказательств, код формальной проверки Lean для многих результатов и 10 сокращённых резюме рассуждений модели.
• По данным публикации OpenAI, результаты получены в ходе оценки, охватывавшей «приблизительно 4000 задач», при этом средние вычислительные затраты на один результат эквивалентны примерно трём часам «размышления» ChatGPT Pro.
• The Verge сообщило, что, по словам OpenAI, «формализовано лишь 300 итоговых результатов из 719 рукописей, около 42%», и что компания «будет обновлять репозиторий, добавляя новые формализации по мере их получения».
• Более трёх десятков математиков описали эту публикацию изданию The Verge словами «потрясающе», «захлёстывающе», «беспрецедентно» и «чистое безумие».
• «Уже просмотр одного только списка аннотаций захлёстывает», — сказал изданию The Verge профессор математики Университета Коннектикута Альваро Лозано-Робледо.
• Математик Имперского колледжа Лондона Кевин Баззард сказал, что нашёл в своей области — алгебраической теории чисел — лишь около шести теорем, которые «выделялись», и что лишь немногие из них были формально проверены, из-за чего ему остаётся выбирать между чтением того, что он назвал «возможно, неправильной халтурой», или ожиданием, пока это проверят другие, сообщил он The Verge.

Почему это важно

Эта публикация показывает, что одна из передовых лабораторий ИИ теперь производит научные результаты в объёме, который превышает существующие у научного сообщества инструменты рецензирования и проверки, при этом сама OpenAI признаёт на GitHub, что рукописи находятся «на разных стадиях проверки» и что формализованы «многие, но не все» из них, сообщило The Verge. Для университетов и исследовательских институтов Каспийского региона, изучающих инструменты ИИ для исследований, этот эпизод — напоминание о том, что объём результатов, выданных системой ИИ, не является доказательством их надёжности, и что заявления следует считать непроверенными до их независимой формализации или рецензирования, независимо от того, как продвигалась базовая модель.