OpenAI заявила, что ИИ решил задачу Навье — Стокса за миллион долларов. Математики спорят, кому это засчитывать

Неопубликованная модель OpenAI и 10 000 ИИ-агентов будто бы за 88 часов справились с одной из семи Millennium Prize Problems — но результат сразу же оброс спором о приоритете.An unreleased OpenAI model and 10,000 AI agents reportedly cracked one of the seven Millennium Prize Problems in 88 hours — and immediately triggered a fight over credit.

OpenAI заявила, что её неопубликованная модель нашла решение проблемы существования и гладкости решений уравнений Навье — Стокса — одной из семи Millennium Prize Problems, за решение которых институт Клэя обещает по миллиону долларов. По словам компании, результат включает не просто текстовое доказательство, а формальную запись на языке Lean — то есть машинно проверяемую. Портал phys.org уточняет, что во вторник компания рассказала: над задачей, которая «ускользала от математиков на протяжении поколений», во внутренних экспериментах работали 10 000 ИИ-агентов, а весь процесс занял 88 часов.

Уравнения Навье — Стокса описывают течение жидкостей и газов — от прогноза погоды до обтекания крыла самолёта, — но математически до сих пор не было доказано, что их решения всегда остаются гладкими и не «взрываются» за конечное время. Quanta Magazine в материале о результате прямо называет его «масштабным», но добавляет: «результат не обошёлся без споров» — и это мягко сказано, судя по реакции математического сообщества.

Спор — не про саму математику, а про то, чей это результат. Phys.org пишет, что заявление OpenAI «вызвало конфликт с конкурирующими исследователями из-за авторства». Простой инструмент нашёл доказательство, или инструмент лишь довёл до конца ход мысли, который уже витал в воздухе у живых математиков — вопрос открытый. Математик Теренс Тао, чьи слова приводит блог разработчика Саймона Уиллисона, ранее писал о смежной проблеме: пул хороших, продуктивных открытых задач в математике — ресурс невозобновляемый, и он «вырабатывается» по мере того, как их решают. По его наблюдению, «даже слух о том, что кто-то работает над задачей», уже способен спровоцировать бурную реакцию сообщества — и нынешняя история вокруг Навье — Стокса читается как подтверждение этой мысли.

Ни в одном из источников нет упоминания официального подтверждения от института Клэя — учредителя премии — о том, что результат признан и награда присуждена. Пока это заявление лаборатории, а не подтверждённое сообществом доказательство.

Почему это важно

Если формальную запись на Lean действительно можно перепроверить машиной, спор смещается с «правильно ли доказательство» на «кому засчитывать открытие» — а это уже вопрос не математики, а того, как наука будет присваивать авторство в эпоху, когда решения предлагают модели, а не только люди.

OpenAI says an unreleased model of theirs produced a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems the Clay Mathematics Institute has offered a $1 million reward for solving. According to the company, the result isn't just a written proof but a formal, machine-checkable writeup in the Lean proof language. Phys.org reports that on Tuesday the company said 10,000 AI agents worked on the problem — one that had "eluded mathematicians for generations" — internally, with the whole process taking 88 hours.

The Navier-Stokes equations describe how fluids and gases flow, from weather forecasting to airflow over a wing, but it had never been proven mathematically that their solutions always stay smooth rather than "blowing up" in finite time. Quanta Magazine's writeup calls the claim "massive" but adds it's "not without controversy" — which undersells how the math community actually reacted.

The dispute isn't really about the math itself, it's about whose achievement this is. Phys.org notes the claim "drew a fight with rival researchers over credit." Whether a tool found a genuinely new proof, or simply finished a line of reasoning that human mathematicians were already circling, is an open question. Mathematician Terence Tao, quoted on developer Simon Willison's blog, had recently written about a related problem: the pool of good, fruitful open problems in math is a non-renewable resource, and it gets "mined" as they're solved. In his words, "even the rumor of someone working on a problem" can trigger an outsized reaction from the field — and the reaction to this Navier-Stokes claim reads like a case in point.

None of the sources mention an official confirmation from the Clay Institute, the prize's sponsor, that the result has been accepted or the award granted. For now, this is a lab's claim, not a proof the field has signed off on.

Why it matters

If a Lean formalization really can be machine-verified, the argument shifts from "is the proof correct" to "who gets the credit" — and that's no longer a math question, it's a question of how science assigns authorship once solutions can come from models as well as people.