OpenAI выложила 722 математические работы своего ИИ

OpenAI 6 октября опубликовала 722 математические рукописи, которые написала её внутренняя ИИ-модель. Работы собраны в 372 тематических семейства и выложены в открытый репозиторий на GitHub вместе с доказательствами и краткими пересказами хода рассуждений. Саму модель компания пока не выпускает и не называет.

Для эксперимента модели поставили около 4000 исследовательских задач. На каждый принятый результат она в среднем тратила вычисления, сопоставимые примерно с тремя часами размышлений ChatGPT Pro. Многие доказательства переведены на язык Lean. Это система, в которой правильность каждого шага проверяет компьютер, а не рецензент.

Что именно решала модель

Для десяти семейств OpenAI раскрыла сокращённый ход рассуждений модели. Среди них работы о мере иррациональности числа π, о гипотезах Малера про объём выпуклых тел и о гипотезе Капланского для групповых колец. Есть и задачи из математической физики, например трёхмерная релятивистская система Власова — Максвелла, которая описывает поведение плазмы.

По подсчёту рассылки AINews, примерно пятая часть результатов — опровержения и контрпримеры. Это частично снимает упрёк, что модель просто перебирает варианты, пока не найдёт подходящий.

Оговорки самой компании

OpenAI прямо пишет, что формализованы в Lean многие рукописи, но не все. «Некоторые неформализованные результаты могут содержать ошибки. Мы постараемся быстро их исправлять», — говорится в описании репозитория. Часть работ опирается на более ранние выводы той же модели, так что ошибка в одной из них может потянуть за собой другие.

Правила публикации компания обсуждала с консультативной группой по математике и ИИ при Институте перспективных исследований в Принстоне. OpenAI обещает финансировать профильные семинары и конференции, а саму модель выпустить позже, когда сочтёт это безопасным.

Реакция в отрасли разделилась. Одни исследователи называют выпуск поворотным моментом для математики. Другие сомневаются, что успехи в задачах с чётко проверяемым ответом перенесутся на менее формальные области. Проверка сотен рукописей независимыми математиками займёт месяцы.

Для OpenAI это заявка на роль лидера в научных применениях ИИ на фоне свежих открытых моделей конкурентов, включая триллионную модель Mistral. Сроки выхода математической модели и её доступность для пользователей, в том числе в Казахстане, компания не называет.

Источники: OpenAI — объявление о публикации результатов, GitHub — репозиторий openai/math, Interesting Engineering — подробности выпуска, Latent Space (AINews) — состав результатов и реакция