OpenAI решила задачу Навье-Стокса: 10 000 агентов, 88 часов, $40 млн

8 сентября 2026 года войдет в историю математики - и, возможно, в историю науки в целом. OpenAI опубликовала доказательство того, что уравнения Навье-Стокса для трехмерной несжимаемой жидкости могут развить сингулярность за конечное время. Это одна из семи задач тысячелетия Института Клэя, каждая из которых оценивается в $1 млн. Вторая когда-либо решенная - если математическое сообщество подтвердит результат.

Чтобы понять масштаб события: первую задачу тысячелетия, гипотезу Пуанкаре, Григорий Перельман доказал в 2002-2003 годах и отказался от премии. С тех пор - тишина. Двадцать три года ни одного решения. И вот OpenAI заявляет, что машина справилась с задачей, которая не давалась людям почти 90 лет.

Что именно доказано

Уравнения Навье-Стокса описывают движение жидкостей - от океанских течений до воздушных потоков вокруг крыла самолета. Открытый вопрос звучал так: может ли изначально гладкое движение жидкости "взорваться" - то есть привести к бесконечным скоростям за конечное время? Интуиция говорит "нет", вязкость должна сглаживать все неровности. Оказалось - да, может.

OpenAI доказала утверждения C и D официальной формулировки Клэя: существует жидкость, которая начинает движение из состояния покоя, к ней приложена гладкая внешняя сила, и при этом скорость становится неограниченной за конечное время - при том что кинетическая энергия остается конечной. Механизм - сжимающийся вихрь: вращающееся ядро спирально движется внутрь и вытягивается, как спагетти, сужаясь быстрее, чем удлиняется.

Техническая сложность здесь не в красивой метафоре. Члены уравнений - ускорение, градиент давления, перенос импульса, вязкость - все одновременно стремятся к бесконечности, но при этом сокращаются с точностью, достаточной для того, чтобы внешняя сила оставалась гладкой. Удерживать этот баланс в доказательстве - вот где 90 лет и споткнулось человечество.

Доказательство опубликовано в виде 166-страничной рукописи и формализации на языке Lean. Lean-верификатор подтвердил формальную корректность - это не мнение рецензента, а машинная проверка логических шагов.

Как это делалось: архитектура на 10 000 агентов

OpenAI раскрыла детали, которые сами по себе меняют представление о том, как будет выглядеть научная работа с ИИ.

Модель, использованная для решения, - внутренняя разработка, существенно мощнее GPT-6 Astra, публично недоступная и не имеющая названия. Обучение началось 28 августа. Уже 1 сентября, получив слухи о том, что две задачи тысячелетия близки к решению, OpenAI запустила агентный прогон.

Структура системы: агенты разбиты на группы, которые могут общаться внутри группы. У каждого - доступ к кэшированной копии интернета и возможность запускать код. Разные группы получили разные варианты задачи: одни работали над доказательством существования гладких решений (A/B), другие - над построением контрпримера (C/D). Сначала около 100 агентов решили более простую задачу - взрыв Эйлера без вязкости - примерно за 50 часов. Этот результат передали группам, работавшим над Навье-Стоксом. Для "перекрестного опыления" между группами использовался Codex: он консолидировал наиболее продуктивные идеи. Когда в середине прогона стала доступна улучшенная версия модели, агентов переключили на нее.

88 часов от старта до решения. 10 000 параллельных агентов в финальной группе. 2,7 млн сообщений и 130 млрд выходных токенов только по задаче Навье-Стокса. Суммарно по всем задачам - 4,9 млн сообщений и около 300 млрд токенов. Директор по исследованиям Марк Чен оценил стоимость вычислений в "миллионы долларов" - независимые оценки дают цифру выше $40 млн.

Себастьян Бубек добавил принципиальную деталь: человеческая команда не имела экспертизы в гидродинамике на уровне, достаточном для содержательного математического вклада. Люди занимались оркестровкой. Математику делала модель.

Спор о приоритете и статусе результата

Здесь начинается менее праздничная часть истории.

За 12 часов до публикации OpenAI Тристан Бакмастер из NYU и Левент Алпеге из Anthropic объявили о решении нескольких смежных задач, включая 3D-уравнения Эйлера. Их работа опирается на стратегию, разработанную Диего Кордобой из Института математических наук в Мадриде и Луисом Мартинесом-Зороа из университета CUNEF - именно их подход к проблеме оказался ключевым для обеих команд. Чарльз Фефферман из Принстона, автор официального описания задачи для Института Клэя, прямо назвал Кордобу и Мартинеса-Зороа героями этой истории.

OpenAI утверждает, что не видела работу Бакмастера и Алпеге, а доказательства различаются - в частности, тем, что Навье-Стокс решен с вынужденным возбуждением (forced), тогда как конкуренты работали с другими постановками. Теренс Тао 7 сентября написал, что пара "пока не вполне достигла" целей по Навье-Стоксу.

При этом OpenAI заявила, что не намерена претендовать на премию $1 млн. Формальные правила Клэя требуют рецензируемой публикации и двухлетнего периода проверки. Lean-верификация - это проверка формальной системы, но не соответствия формализации той задаче, которую математики имели в виду. Независимой внешней верификации на момент публикации не было.

Что это меняет

Для математиков - многое, хотя и не сразу. Сингулярность в уравнениях не означает, что самолеты начнут падать: реальные жидкости состоят из молекул, и континуальное приближение там, где оно ломается, просто перестает работать. Практических последствий нет. Но теоретически это означает, что уравнения Ньютона применительно к жидкостям ведут себя значительно более странно, чем казалось.

Для разработчиков ИИ-систем результат говорит о другом. Параллельный многоагентный прогон с самоорганизацией, перекрестным опылением идей и переключением на более свежую версию модели по ходу работы - это не демо и не proof-of-concept. Это работающая инженерная архитектура, которая дала результат в области, где человеческая экспертиза оказалась недостаточной.

На фоне этой новости в тот же день прошли раунды Cognition на $48 млрд и Mistral на $24 млрд, вышел GPT Image 2.5 и Meta запустила агента Muse. Все это осталось в тени - и это само по себе говорит о том, насколько редкое событие произошло.

Информация подтверждена несколькими независимыми публикациями, включая официальную страницу OpenAI и материалы Quanta Magazine.