OpenAI утверждает, что его внутренний ИИ-модель за 88 часов с помощью 10 000 скоординированных агентов смогла доказать теорему о взрыве уравнений Навье-Стокса — одного из ключевых нерешённых вопросов в математике. Для проверки решения использовалась система Lean, подтверждающая каждый шаг доказательства. Эта задача входит в число семи знаменитых Millennium Prize Problems с наградой в миллион долларов от Clay Mathematics Institute.
Однако за несколько часов до официального заявления OpenAI математик из NYU Тристан Бакмастер обвинил компанию в нечестной игре. По его словам, он вместе с Левентом Альпёге из конкурирующей компании Anthropic работали над похожим доказательством почти год и в августе уже получили решение. Он утверждает, что сотрудник OpenAI Себастьян Бубек узнал о их не опубликованной работе и пытался добиться признания заслуг своей команды ещё до анонса.
Bубек и руководство OpenAI отвергают обвинения, приводя переписку, где предлагается согласованная публикация результатов. CEO OpenAI Сэм Альтман заявил, что команда действовала честно и даже предлагала опубликовать результаты первой стороной. В свою очередь, работы Бакмастера и Альпёге продолжают проверяться, их финальное доказательство ещё не опубликовано. Известный математик Теренс Тао назвал их результаты впечатляющим достижением.
Напомню, недавно другая AI-система от Anthropic смогла оформить доказательство Великой теоремы Ферма. Этот прецедент лишь обостряет дискуссию о том, как ИИ меняет ландшафт научных исследований и, одновременно, заставляет пересматривать вопросы авторства и этики.