История
октябрь 8, 2026
Математический блиц OpenAI заставил математиков задуматься: кто определяет прогресс
OpenAI и ее сторонники видят новый быстрый путь к научным открытиям, тогда как многие математики приветствуют результаты лишь при условии, что их можно проверить, понять и развивать вне корпоративной гонки за заголовками. Спор идет не о том, впечатляет ли полученный результат, а о том, каким должен быть ответственный математический прогресс.
Последний разрыв последовал за более ранним заявлением OpenAI о решении задачи Навье—Стокса — вызова Премии тысячелетия. Это заявление вызвало обвинения в том, что компания обогнала академические нормы и могла воспользоваться незавершенной работой исследователей — обвинение, которое OpenAI отвергла. Этот эпизод заставил сообщество, основанное на неспешной тщательной проверке, настороженно отнестись к хорошо финансируемому аутсайдеру, движущемуся со скоростью Кремниевой долины.1
В сентябре недавно сформированная Консультативная группа по математике и искусственному интеллекту (AGMAI) призвала ИИ-лаборатории оперативно публиковать результаты через устоявшиеся каналы, раскрывать сведения о моделях, промптах и вычислительных затратах, а также не превращать публикации исследований в маркетинг. Ее предупреждение было недвусмысленным: компаниям следует «воздерживаться от использования публикации математических результатов в качестве маркетингового инструмента».2
Затем во вторник OpenAI опубликовала 722 рукописи, охватывающие 372 семейства результатов, заявив, что эту работу создала внутренняя передовая модель. Компания заявила, что опиралась на рекомендации AGMAI; президент OpenAI Грег Брокман представил эту инициативу как движение «к ускорению научных открытий и улучшению качества жизни для всех».
3
Масштаб впечатлил даже скептиков. В одном из отзывов о публикации говорилось, что она продемонстрировала: достижения ИИ, вероятно, распространятся на новые специализированные области, как это уже произошло с инструментами для программирования. Однако Стивен Вольфрам предложил противоположный взгляд: «Вы можете легко создать триллион теорем. Проблема в том, что большинство этих теорем никого не заинтересуют».4
Проверка теперь стала непосредственным испытанием. К четвергу OpenAI отозвала решения по меньшей мере трех задач после обнаружения очевидных ошибок, при этом лишь часть доказательств была формализована для машинной проверки.1 Критики утверждают, что публикация по-прежнему не соответствует стандарту AGMAI, требующему обеспечения человеческого понимания: лишь 10 из 719 рукописей включали рассуждения модели, а, согласно сообщениям, 42% не прошли формализацию.5
По мнению сторонников, автоматизированное формальное доказательство могло бы освободить математиков для поиска новых концепций. По мнению критиков, сложная работа начинается после получения ответа модели: необходимо превратить заявленное доказательство в знание, которому более широкое научное сообщество сможет доверять, которое сможет преподавать и развивать.