Линия разлома возникла в сентябре, когда OpenAI заявила, что внутренняя модель решила более 100 давних задач, включая предполагаемое решение уравнений Навье — Стокса. Это утверждение вызвало воодушевление, но также обвинения в том, что подход компании рискует опередить академическую проверку.¹

В ответ Консультативная группа по математике и искусственному интеллекту, работающая при Институте перспективных исследований, призвала лаборатории оперативно публиковаться через устоявшиеся каналы, раскрывать информацию о моделях, промптах и вычислительных ресурсах, а также не превращать математические публикации в маркетинговые кампании. Ее предупреждение было недвусмысленным: такое продвижение может нанести «значительный вред» математическому сообществу.²

Затем во вторник OpenAI опубликовала 722 рукописи, охватывающие 372 семейства результатов — сотни открытых вопросов в областях от алгебры и топологии до теории чисел. Масштаб ошеломил исследователей. Математик из Оксфорда Мартин Бридсон назвал публикацию «захватывающей дух», заявив, что стало возможно, чтобы передний край математики радикально продвигался «за один день».³ Сооснователь OpenAI Грег Брокман охарактеризовал эту работу как движение «к ускорению научных открытий и улучшению качества жизни для всех».Greg Brockman (gdb)⁴

Сторонники видят в этом не некролог математикам, а новые возможности. Профессор Университета Торонто Дэн Литт назвал новые результаты «отличными для математики», предупредив при этом, что обществу необходимо продолжать поддерживать человеческую экспертизу, если оно надеется извлечь пользу из прогресса ИИ.⁵ Янн Лекун также описал новую эпоху, в которой формальное доказательство в значительной мере автоматизировано, а математики могут сосредоточиться на концепциях, абстракциях и определениях.Yann LeCun (ylecun)⁶

Однако негативная реакция усилилась, когда ученые столкнулись с объемом работы. Более трех десятков математиков рассказали The Verge, что осмысление этого материала может занять годы — еще до оценки его оригинальности или правильности.⁷ Ассоциация человеческой математики назвала массовую публикацию «не демонстрацией научного подхода, а демонстрацией силы».⁸

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