OpenAI заявила о решении задачи тысячелетия Навье—Стокса силами ИИ-агентов

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

8 сентября 2026 года OpenAI сообщила: её агенты нашли явную конструкцию такого разгона — закручивающийся вихрь, который стягивается и ускоряется, оставаясь при этом с конечной энергией, — и оформили доказательство формально проверяемым способом на языке Lean.

Как это делали агенты

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

Сначала около 100 агентов за 50 часов неожиданно для самой компании закрыли смежный вопрос — регулярность уравнений Эйлера (предельный случай Навье—Стокса без вязкости) для варианта без внешней силы. После этого ресурсы перебросили на Навье—Стокса.

Ещё 17 часов заняла формализация и проверка доказательства на Lean через GPT-6 Astra. Итого от запуска агентов до формально проверенного результата прошло около 105 часов — меньше пяти суток.

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

Агенты построили доказательство для формулировок «C» и «D» официальной постановки задачи от института Клэя — это один из вариантов условия, при котором проблема считается решённой. OpenAI прямо пишет: компания не претендует на денежный приз и называет результат не итогом, а моментальным снимком того, как быстро сейчас растут возможности моделей. Формальная проверка сообществом математиков (включая рецензию со стороны института Клэя) ещё впереди — публикация доказательства не равна его официальному признанию.

Показательная деталь: слух, который подтолкнул OpenAI взяться за задачу 1 сентября, оказался связан с независимой работой Левента Алпёге (сотрудника Anthropic) и математика Тристана Бакмастера из NYU — они параллельно и другим методом решили смежный (принудительный) вариант задачи Эйлера. Компании обменялись результатами перед публикацией и признали приоритет друг друга — конкурирующие лаборатории независимо вышли на соседние открытые задачи почти одновременно.

Для каталога NeiroAI это ещё один сигнал, что базовая линейка ChatGPT и агентные инструменты вроде OpenAI Codex (он использовался, чтобы сводить наработки разных групп агентов воедино) выходят за пределы прикладных задач в фундаментальную науку — пока в виде experimental системы, которая ещё не стала публичным продуктом.