OpenAI предложила решение задачи Навье — Стокса

OpenAI опубликовала 166-страничное доказательство того, что гладкое течение в трёхмерных уравнениях Навье — Стокса может за конечное время прийти к сингулярности. Формально это попадает в условия задачи тысячелетия.


OpenAI 8 сентября опубликовала работу Finite Time Blowup for Navier–Stokes и отдельную формализацию доказательства в Lean. Компания утверждает, что её внутренняя ИИ-система построила пример, который закрывает варианты C и D официальной формулировки задачи тысячелетия Института Клэя. Однако на сайте самого Clay Mathematics Institute задача по состоянию на утро 9 сентября всё ещё отмечена как Unsolved — «нерешённая».

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

Работа OpenAI идёт по второму пути. В её основной теореме жидкость начинает движение из состояния покоя. К ней прикладывается гладкая внешняя сила, компактно ограниченная в пространстве и времени. При любой положительной вязкости решение остаётся гладким до момента t=1 и сохраняет конечную кинетическую энергию, но максимальная скорость при приближении к этому моменту становится неограниченной.

Здесь находится важная деталь, которую легко потерять в пересказах. В вариантах A и B официальной задачи Клэя требуется доказать глобальную гладкость без внешней силы. Но варианты C и D, позволяющие опровергнуть глобальную гладкость, прямо допускают гладкую внешнюю силу. Поэтому сам факт наличия forcing в конструкции OpenAI не выводит работу за пределы официального условия. Компания специально утверждает, что её пример реализует именно C для пространства R³ и, благодаря компактности конструкции, D для периодического случая.

Физически построенное решение напоминает концентрирующийся вихрь. Его центральная область сжимается, поток закручивается и вытягивается вдоль оси, а характерные скорости растут. Энергия при этом не обязана уходить в бесконечность: область чрезвычайно быстрого движения становится всё меньше. На уровне формул задача состоит в том, чтобы нелинейное ускорение, давление, вязкость и другие крупные члены уравнения компенсировали друг друга так, чтобы внешняя сила оставалась гладкой даже в момент приближения к сингулярности.

Именно это делает результат нетривиальным. Любое заранее выбранное «плохое» поле скорости можно формально заставить удовлетворять уравнению, если определить внешнюю силу как остаток. Но тогда сама сила, как правило, тоже становится сингулярной. В конструкции OpenAI добавлены осциллирующие импульсы и последовательные поправки, которые должны погасить расходящиеся части остатка и оставить гладкую силу. Этому механизму посвящена основная часть 166-страничной работы.

Доказательство появилось не как один ответ чат-бота. По описанию OpenAI, компания развернула систему координирующихся агентов на внутренней модели, значительно более сильной, чем GPT-6 Astra. После первоначальных экспериментов ресурсы сосредоточили на Навье — Стоксе; группа порядка 10 тысяч агентов пришла к результату примерно за 88 часов. Затем GPT-6 Astra потребовалось ещё около 17 часов на формализацию и проверку в Lean. Для одной только задачи Навье — Стокса агенты, по данным компании, обменялись 2,7 млн сообщений и сгенерировали около 130 млрд выходных токенов.

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

Правила Clay Mathematics Institute здесь особенно жёсткие. Институт не принимает предложенные решения напрямую. Прежде чем работа вообще будет рассмотрена как решение задачи тысячелетия, она должна быть опубликована в «квалифицируемом издании» по правилам CMI, после публикации должно пройти не менее двух лет, а результат должен получить общее признание международного математического сообщества. OpenAI отдельно заявила, что не намерена претендовать на миллион долларов.

История сопровождается и спором о научном приоритете. OpenAI признаёт, что начала атаку на задачи тысячелетия после слухов о близких результатах Левента Альпёге и Тристана Бакмастера. Компания утверждает, что её исследователи и агенты не видели их неопубликованную работу и не обращались к конкретным пользовательским данным, хотя не исключает, что обезличенные данные использования продуктов могли косвенно повлиять на обучение моделей. Сами исследователи оспаривают часть этой версии событий. Для математической корректности доказательства этот конфликт не решающий, но для вопроса об авторстве и происхождении идеи он существенен.

Пока корректнее говорить не о признанном решении, а о чрезвычайно сильной заявке. OpenAI опубликовала полный аналитический текст, машинно проверяемую формализацию и конструкцию, которая на бумаге нацелена ровно на один из разрешённых вариантов задачи Клэя. Теперь главное происходит уже вне лаборатории ИИ: доказательство должны независимо разобрать специалисты по уравнениям в частных производных и динамике жидкостей.


Если доказательство выдержит проверку, историческим окажется не только ответ на вопрос о сингулярности. Не менее важен способ его получения: десятки тысяч ИИ-агентов одновременно искали пути к доказательству, обменивались промежуточными результатами, а итог был переведён в формальную систему. В таком масштабе ИИ начинает менять не скорость вычислений, а саму организацию фундаментального исследования.

Фото: редакция ИЗНАНКИ.