«Задача тысячелетия» решена: десять тысяч ИИ-агентов, плагиат и миллион долларов
OpenAI заявила о решении ИИ-агентами очень крупной математической проблемы, одной из семи знаменитых «задач тысячелетия», — проблемы сингулярности в уравнениях Навье — Стокса. Но тут же разгорелся нешуточный скандал: другие математики обвинили OpenAI в плагиате.
В 2000 году американский Математический институт Клэя обратился к выдающимся математикам, чтобы те выбрали семь важных фундаментальных математических проблем, над которыми математики безуспешно бились много лет. За решение каждой институт назначил премию в миллион долларов. В этом была сознательная историческая отсылка: в 1900 году немецкий математик Давид Гильберт выступил в Париже и сформулировал знаменитые 23 проблемы, которые во многом определили развитие математики XX века. Ровно сто лет спустя Институт Клэя представил новые семь задач — тоже в Париже, в Коллеж де Франс.
С тех пор удалось решить лишь одну из них — Григорий Перельман доказал в 2002 году гипотезу Пуанкаре. Помните, сколько было шума? Тот миллион долларов так и не осчастливил никого... Похоже, и миллион за вторую решенную проблему останется без счастливого обладателя. Но обо всем по порядку.
Уравнения Навье — Стокса, сформулированные в XIX веке, стали одной из основ гидродинамики. Они описывают движение жидкостей и газов и постоянно используются на практике: от расчёта потоков воздуха вокруг самолёта до моделирования океанских течений и погоды. Но было неизвестно, всегда ли решения остаются «хорошими» (применимыми к физической реальности и конечными), — или существуют решения с бесконечной скоростью или плотностью, — математические сингулярности.
OpenAI объявили, что доказали: да, уравнения могут ломаться, жидкость в такой модели можно разогнать до бесконечной скорости. Решение было получено внутренней моделью, которая «значительно превосходит» публичную GPT‑6 Astra.
«Поскольку в реальном физическом мире бесконечная скорость жидкости или газа невозможна, наше доказательство указывает на то, что при определённых экстремальных условиях уравнения Навье — Стокса перестают быть надёжным зеркалом физической реальности», — объяснил сотрудник OpenAI Вен Чандрасекаран.
Так кто решил задачу: люди или ИИ-агенты?
Анонсу OpenAI предшествовала драматическая закулисная борьба.
В начале сентября 2026 года в OpenAI узнали, что какие-то математики подобрались к разгадке проблемы, используя модели Anthropic, компании-конкурента, — и срочно собрали свою команду математиков, чтобы попробовать опередить конкурентов.
7 сентября профессор математики Нью-Йоркского университета Тристан Бакмастер и работающий в Anthropic математик Левент Алпёге опубликовали работу, в которой доказали сингулярность для упрощённого случая (жидкости без вязкости), задействовав Claude от Anthropic. Это еще не решение проблемы, но важный шаг к нему.
Узнав об этом, OpenAI бросила в бой беспрецедентные вычислительные мощности. Чтобы обойти конкурентов и замахнуться на полную версию уравнений Навье — Стокса, сначала упрощённую задачу в течение 50 часов штурмовала тысяча ИИ-агентов. А потом, чтобы решить полную версию задачи, эту группировку расширили до 10 000 агентов, которые домучали проблему всего за 88 часов. Целый монгольский тумен ИИ-агентов!
За 88 часов работы эта научная армия агентов обменялась почти 3 миллионами сообщений, сгенерировав свыше 130 миллиардов токенов, проверяя гипотезы и выстраивая цепочки рассуждений (стоимость этих вычислений — несколько миллионов долларов).
После того как агенты завершили доказательство, OpenAI задействовала верификатор доказательства теорем Lean и модель GPT-6 Astra. За 17 часов Lean полностью подтвердил математическую корректность решения.
Получается, если раньше математическую проблему тысячелетия мог, если повезет, решить очень необычный человек, например, Григорий Перельман, то сейчас такую проблему решают десять тысяч ИИ-агентов за 88 часов? Вот так теперь делается наука!?
Нет, возмущается Тристан Бакмастер, — это плагиат и воровство результатов, над которыми они с Алпёге работали целый год! Ученый пишет, в лапы ИИ-агентов, возможно попали его черновики, потому что они создавались вместе с Codex — ИИ-агентом для програмирования, разработанным OpenAI. Что если эти агенты обмениваются друг с другом данными пользователей? Уж слишком их подход к решению проблемы похож на наработки Бакмастера и Алпёге, по мнению этих исследователей.
Как теперь жить
OpenAI не спорит с тем, что начала эксперименты после слухов о том, что решение вот-вот будет найдено. По заявлению компании, ее сотрудники и ИИ-агенты не видели неопубликованных материалов. Но обезличенные данные, полученные от Codex, могли повлиять на обучение моделей.
Бакмастер, в свою очередь, подчеркивает, что не видел доказательства OpenAI, и не обвиняет компанию в прямом заимствовании. При этом, по его словам, представители OpenAI предлагали ему опубликовать решение Навье-Стокса первым, как «человеку, ближе всего подобравшемуся к решению проблемы», и забрать миллион себе, но изменить состав авторов статьи, убрав исследователя из Anthropic и упоминание этой кампании, чтобы все писали, что именно новый искусственный интеллект от OpenAI помог решить «задачу тысячелетия».
Теперь слово за другими математиками, — им придется проверить не только точность, но и оригинальность решения, — насколько оно является плагиатом.
В любом случае, этот спор не сводится к выяснению научного приоритета и того, кто получит миллион (в OpenAI пишут, что в любом случает от миллиона откажутся, они за такой мелочевкой не гоняются). Научному сообществу предстоит выработать критерии авторства и другие этические правила при совместной работе человека и нейросетей. А то ведь может получиться, что если вы разрабатываете что-то новаторское с помощью ChatGPT, OpenAI сможет использовать ваши наработки, чтобы сделать продукт, над которым вы работали год, за какие-нибудь 88 часов.