OpenAI опубликовала 719 математических работ от нерелизной модели и разделила математиков

OpenAI опубликовала на GitHub подборку математических результатов, полученных с помощью ИИ-модели, которую компания пока не сделала общедоступной. По словам компании, опубликованный в начале октября 2026 года набор включает сотни исследовательских работ, в которых решаются давние открытые проблемы. Публикация вызвала резко противоречивую реакцию математиков.

При первом анонсе в подборке было 722 работы. 7 октября три из них были отозваны после обнаружения ошибки в доказательстве, поэтому общее число составило 719. Конкретных возражений против остальных работ публично пока не прозвучало. OpenAI сообщает, что на каждый результат ушло примерно столько же вычислительных ресурсов, сколько на три часа рассуждений ChatGPT Pro.

Проверка продолжается

Для проверки работ OpenAI использует Lean, систему, которая записывает доказательства на формальном языке, чтобы компьютер мог проверить каждый логический шаг. Таким способом подтверждена примерно половина работ. Однако необходима и независимая экспертиза, в том числе для того, чтобы убедиться, что формально проверенное утверждение действительно соответствует тому, что заявлено в каждой работе. Поэтому научное признание результатов пока остается под вопросом.

Французский математик Угo Дюминиль-Копен, известный своими работами по теории вероятностей и статистической физике, заявил в ходе видеоконференции, что в подборке фигурируют 16 задач, над которыми он работал на протяжении многих лет. По его мнению, главная проблема заключается не в том, что машина решила их первой, а в том, что результаты появились в огромном объеме и у научного сообщества не осталось времени, чтобы их усвоить. Ранее открытое письмо, подписанное 25 лауреатами Филдсовской премии, предупреждало, что одновременная публикация большого количества решений оставляет слишком мало возможностей для понимания идей и методов, лежащих в их основе.

Призыв к бойкоту и иные мнения

Ассоциация «Человеческая математика» (HMA) пошла дальше, заявив, что эта работа скорее демонстрирует технологическую мощь, чем представляет научный вклад, и призвала математиков бойкотировать сотрудничество с OpenAI. Лауреат Филдсовской премии Тимоти Гауэрс занимает иную позицию: по его словам, само по себе большое количество результатов не следует автоматически считать негативным фактором. Его беспокойство носит долгосрочный характер: открытые проблемы помогают привлекать молодежь в математику, и неясно, как будет работать этот механизм в будущем.

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