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

Источник изображения: ChatGPT
Центральной фигурой конфликта стал математик Тристан Бакмастер, заявивший, что компания могла воспользоваться наработками его команды при создании собственного доказательства. По его словам, исследователи работали над схожим подходом к решению задачи, а затем неожиданно столкнулись с тем, что OpenAI представила полноценный результат раньше них. В академической среде это вызвало подозрения в возможном использовании данных пользователей или идей, полученных в ходе работы с ИИ-инструментами, хотя сама компания отрицает прямое заимствование.
Ситуация усугубилась после публикации открытого письма, подписанного десятками ведущих математиков, включая лауреатов престижных премий. В документе учёные предупреждают, что гонка между технологическими компаниями за первенство в решении фундаментальных задач подрывает научные принципы – от корректного цитирования до полноценной проверки результатов. По их мнению, многие открытия объявляются слишком поспешно, без достаточного анализа и объяснения, что ставит под угрозу саму культуру математических исследований.
Дополнительное напряжение возникло и на институциональном уровне: OpenAI отказалась от участия в одном из математических мероприятий после критики со стороны академического сообщества.
- Если вам нужно перевести текст, просто пришлите его мне и укажите язык (например, с английского на русский).
- Если вы имели в виду денежный перевод, напишите, между какими банками или странами вы хотите отправить средства.
- Если вас интересует значение термина или что-то другое, конкретизируйте тему.
Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society.
Research mathematics deals with understanding basic structures of shapes, numbers, and natural phenomena. Over the course of generations, it has built a large corpus of sophisticated ideas, methods, abstractions, and other tools to comprehend the mathematical landscape. In turn, modern technologies and sciences are based on mathematical tools.
Famous problems have often served as landmarks and lighthouses against which one can measure an improved understanding of this landscape. Solving one of these problems has been a certain sign of new insights and interesting methods, which would then be studied by a community of mathematicians, through a long and arduous process of talks, discussions, simplifications. At the end of this process, one will ideally find a textbook presentation of the results suitable for any graduate or even undergraduate student to study. Some of the mathematical ideas pursue their journey even further to become, decades or centuries after, tools that are understood and used by the whole population.
The mathematical community functions, in many ways, as a miniature version of humanity. It consists of individuals using a wide variety of different approaches, joined by core values. The most precious resources of our profession are students and ideas, and these we nurture with great care. We feel responsible to let them grow to their full potential, until they can live a life of their own in the mathematical world. For students we often suggest problems with the core intention of developing skills making them well-positioned for advances in research and elsewhere. Our ideas we disseminate in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.
In recent months, the success of AI in solving major mathematical problems has made headlines even outside mathematical circles. But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of «true/false» statements could destroy fertile ground instead of breathing life into new ideas.
Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions. Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.
We are witnessing a general threat to intellectual work, with misalignment between the outcome of the use of AI and its initial purpose. In many fields and activities, years of training have traditionally served not only to produce a final answer or product, but also to develop understanding and the ability to formulate new questions and ideas. However, building on a vast body of previous human work, AI systems are becoming increasingly capable of producing the results of such work directly, and these goals cease to align. The issues the mathematical community faces now are similar to issues that other scientific and creative professions are facing, and indicate issues that all of humanity might face: how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place.
AI offers the potential of enhancing and accelerating genuine mathematical study and understanding. Mathematics as a profession will need to adapt to these changes in several ways. However, whether these changes ultimately benefit the field or have a destructive effect will in large part be determined by the decisions of the humans in control of this new technology.
These issues must be addressed urgently, in the mathematical community, by the companies developing these technologies and, more broadly, by a society that will confront similar problems in many other forms of intellectual work.
Artur Avila (Fields Medal 2014)
Manjul Bhargava (Fields Medal 2014)
Caucher Birkar (Fields Medal 2018)
Pierre Deligne (Fields Medal 1978)
Yu Deng (Fields Medal 2026)
Simon Donaldson (Fields Medal 1986)
Hugo Duminil-Copin (Fields Medal 2022)
Alessio Figalli (Fields Medal 2018)
Martin Hairer (Fields Medal 2014)
June Huh (Fields Medal 2022)
Maxim Kontsevich (Fields Medal 1998)
Elon Lindenstrauss (Fields Medal 2010)
Pierre-Louis Lions (Fields Medal 1994)
James Maynard (Fields Medal 2022)
Curtis McMullen (Fields Medal 1998)
Shigefumi Mori (Fields Medal 1990)
Ngô Bảo Châu (Fields Medal 2010)
Манджул Бхаргава (Филдсовская премия 2014)
Кошер Биркар (Филдсовская премия 2018)
Пьер Делинь (Филдсовская премия 1978)
Юй Дэн (Филдсовская премия 2026)
Саймон Дональдсон (Филдсовская премия 1986)
Уго Дюминил-Копен (Филдсовская премия 2022)
Алессио Фигалли (Филдсовская премия 2018)
Мартин Хайрер (Филдсовская премия 2014)
Джун Ху (Филдсовская премия 2022)
Максим Концевич (Филдсовская премия 1998)
Элон Линденштраусс (Филдсовская preмия 2010)
Пьер-Луи Лионс (Филдсовская премия 1994)
Джеймс Мейнард (Филдсовская премия 2022)
- Оформить перевод в виде файла (например, Markdown или Word)
- Помочь составить ответное эссе или комментарий к этому манифесту
- Сделать краткую выжимку (саммари) основных тезисов авторов

