Задача Навье–Стокса «по-видимому решена»: математика на миллион долларов, два математика и OpenAI, которая всё ускорила
Институт Клэя — та самая организация, что в 2000 году в Париже объявила семь Millennium Prize Problems, каждую с премией $1 миллион — написал на своём сайте одну из самых осторожных фраз, которую может написать математическое учреждение. «The Navier-Stokes problem has apparently been settled.» Решение находится на рассмотрении. «Процесс намеренно неспешный, но мы будем публиковать обновления». И добавили: «Растущая способность новых технологий ускорять математические исследования усиливает это ощущение ожидания».
Под «новыми технологиями» они, скорее всего, имеют в виду не калькулятор.
Спор, который всё усложняет
Потенциальное решение пришло не из чистого академического эфира. Математик Тристан Бакмастер обвиняет OpenAI в том, что компания перенаправила ресурсы на задачу после утечки информации о его исследовании, использовала его черновики в training data и отвергла его соавтора Левента Альпёге — который работает в Anthropic — от авторства.
Это не просто академический спор о приоритете. Это вопрос о том, что происходит, когда компания, производящая AI-модели, решает использовать эти модели для решения математических задач, над которыми люди работают десятилетиями. И получает результат. Быстрее.
OpenAI, напомним, потратила 88 часов и миллионы долларов вычислительных ресурсов на решение Navier-Stokes силами 10 000 агентов. По крайней мере, так говорят источники. 25 филдсовских лауреатов подписали заявление о рассогласовании AI-индустрии и математики.
Что такое Navier-Stokes
Уравнения Навье–Стокса описывают движение жидкости в трёхмерном пространстве. Они работают — инженеры используют их каждый день. Но математически не доказано, что у них всегда существует гладкое полное решение. Это как если бы мост стоял и выдерживал нагрузку, но никто не мог доказать, почему он не упадёт.
Задача входит в список семи Millennium Prize Problems. За каждую — $1 миллион. До настоящего момента решена только одна — гипотеза Пуанкаре, доказанная Григорием Перельманом в 2003 году. Перельман отказался от миллиона и от медали Филдса. Если решение Navier-Stokes подтвердится, это будет второй решённый вопрос из семи за 26 лет.
Почему «apparently»
Институт Клэя пишет «apparently been settled» — не «solved». Решение находится на рецензировании. Процесс «намеренно неспешный». Это математический способ сказать: «Мы проверим. Может быть, очень долго».
Но слово «innovations» в заявлении института — это не про новые теоремы в классическом смысле. Институт надеется увидеть «волны нового человеческого понимания, когда инновации за этой работой будут проанализированы». Если это AI-assisted proof — а контекст указывает именно на это — то вопрос не только в том, решена ли задача. Вопрос в том, что значит «решена», если решение получено с помощью системы, которую не все понимают.
OpenAI vs Anthropic vs математики
Бакмастер работает на стыке математики и AI. Его соавтор Альпёге — в Anthropic. OpenAI, третья сторона в этом треугольнике, тоже претендует на результат. Это не просто спор об авторстве. Это столкновение трёх моделей научного производства: традиционной математики, корпоративной AI-лаборатории и чего-то среднего, что пока не имеет названия.
25 филдсовских лауреатов, подписавших заявление, — это не протест против AI. Это сигнал: что-то в процессе сломалось. Когда компания, которая делает модели, использует модели для решения задач, которые математики решают десятилетиями, — и потом отказывается от соавторства человека, который работал над этой задачей годами, — вопрос не в математике. Вопрос в том, кто имеет право называть результат своим.
Институт Клэя пока молчит о споре. Их заявление — только о том, что задача «по-видимому решена». Но если решение подтвердится, им придётся ответить на вопрос: кто автор? Два математика, чьи черновики стали training data? 10 000 агентов, которые перебрали варианты? Или компания, которая всё это оплатила?
Краткий ответ
Институт Клэя объявил, что задача Навье–Стокса из Millennium Prize Problems «по-видимому решена». Решение на рецензии. Математик Тристан Бакмастер обвиняет OpenAI в использовании его черновиков в training data и отказе от соавторства его коллеги из Anthropic. 25 филдсовских лауреатов подписали заявление. Это не вопрос математики — это вопрос о том, что значит «решить задачу», когда за тебя это делают 10 000 AI-агентов, а авторство оспаривают три стороны.