OpenAI 6 октября 2026 года в официальном заявлении «Sharing AI progress in mathematics» открыто представила широкомасштабные математические результаты, созданные ее внутренней фронтирной моделью. По заявлению компании, результаты опубликованы в репозитории GitHub по адресу github.com/openai/math под лицензией Apache-2.0. И заявление, и репозиторий стали публичными в один день — 6 октября 2026 года. «Sharing AI progress in mathematics» — название заявления в блоге OpenAI; публикация вышла под этим именем.
Содержание и масштаб публикации
Репозиторий содержит 722 математические рукописи, сгруппированные в 372 семейства результатов. 722 рукописи объединены в 372 семейства; публикация представлена именно в такой структуре. Репозиторий публичный, лицензия — Apache-2.0. Все опубликованные материалы находятся в открытом обращении под этой лицензией. Публикация вышла 6 октября 2026 года, и в этот день репозиторий стал общедоступным. Количество рукописей — 722, количество семейств — 372: это два главных количественных показателя публикации. Apache-2.0 — название лицензии публикации; адрес репозитория — github.com/openai/math. Рукописи содержат математические результаты; они — продукт деятельности внутренней фронтирной модели в ходе оценки. 4 000 — приблизительное число: в источнике указано «roughly 4,000».
Модель и процесс оценки
Все рукописи созданы с помощью пока не анонсированной внутренней фронтирной модели OpenAI. В ходе оценки модель была протестирована примерно на 4 000 открытых математических задач. По данным репозитория на GitHub, в среднем на каждый результат приходится около 3 часов вычислительных рассуждений ChatGPT Pro. Сама модель не опубликована — в открытый доступ вышли только созданные ею результаты. Число задач, участвовавших в оценке, и средние затраты на каждый результат характеризуют масштаб публикации. Примерно 4 000 открытых задач — показатель охвата оценки. А примерно 3 часа вычислительных рассуждений ChatGPT Pro на результат определяют вычислительную стоимость отдельного результата. Внутренняя фронтирная модель охарактеризована как «не анонсированная»: компания не выпускала отдельного анонса о модели, а опубликовала лишь созданные ею результаты.
Формализация на языке Lean
В 235 из 372 семейств результатов есть доказательства, формализованные на языке Lean. В остальных 137 семействах такая формализация пока отсутствует. Соотношение формализованных и неформализованных семейств показывает текущее состояние публикации: часть доказательств формализована, часть — еще нет. 235 семейств — больше половины из 372. В остальных семействах формализации пока нет: OpenAI открыто зафиксировала это положение.
Предупреждения и ограничения
OpenAI открыто признала, что в неформализованных результатах могут быть недостатки, и отметила необходимость осторожности при работе с ними. Компания также сообщила, что ни один из опубликованных результатов пока не прошел рецензирование в научных журналах. Отдельно отмечено, что сама модель не опубликована: компания открыто выпустила результаты, но не анонсировала создавшую их внутреннюю фронтирную модель. Отметка об отсутствии рецензирования означает, что результаты еще не прошли этап научного подтверждения. Все предупреждения изложены в самой публикации — в официальном заявлении компании.
235 из 372 семейств результатов включают формализации на языке Lean; OpenAI предупреждает, что неформализованные результаты могут содержать недостатки, и отмечает, что ни один из результатов пока не прошел рецензирование, а сама модель не выпущена.
— OpenAI, github.com/openai/math
Консультативная группа и контекст открытого письма
Эта публикация вышла после того, как OpenAI создала независимую Консультативную группу по математике и искусственному интеллекту (Advisory Group on Mathematics and AI). Группа работает при Институте перспективных исследований (IAS). Группа охарактеризована как независимая. 21 сентября 2026 года — дата новости TechCrunch; 6 октября 2026 года — дата публикации OpenAI. По сообщению TechCrunch от 21 сентября 2026 года, объявление о создании группы было сделано после того, как 25 лауреатов медали Филдса подписали открытое письмо о гонке ИИ-компаний за решение известных открытых задач. Письмо упоминается в новости TechCrunch от 21 сентября 2026 года; в той же новости объявлено и о создании Консультативной группы.
Хронология событий
21 сентября 2026 года было объявлено о создании Консультативной группы. Спустя 15 дней — 6 октября 2026 года — вышла публикация из 722 рукописей. Оба события произошли осенью 2026 года с промежутком в две недели. 15-дневный интервал связывает два события в один контекст: сначала было объявлено о создании Консультативной группы, затем вышла публикация.
