ИИ решил задачу Навье–Стокса: что сделала OpenAI

Коротко. 8 сентября 2026 года OpenAI объявила, что её ИИ-агенты решили задачу Навье–Стокса — одну из семи «задач тысячелетия», за каждую из которых Институт Клэя обещает миллион долларов. Доказательство проверено в системе формальной верификации Lean, но премия не присуждена, а вокруг авторства уже идёт спор. На этой неделе новость докатилась до российских СМИ, и вопросов стало больше, чем ответов. Разбираем по порядку: что именно доказано, как работали агенты, в чём претензии математиков и что из этого можно пощупать самому.

Что за задача и что доказано

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

Ответ OpenAI — второе. Агенты построили сценарий, в котором вихрь закручивается, растягивается и ускоряется, пока уравнения перестают удерживать скорость конечной. По данным Quanta Magazine, результат получен для трёхмерного случая без граничных условий и с гладкой внешней силой — это одна из формулировок, которые допускает официальное условие задачи.

Как работали 10 000 агентов

Доказательство написал не один чат-бот, а целая сеть агентов на внутренней модели OpenAI, которую компания называет «значительно более способной, чем GPT-6 Astra». Работа шла в два этапа:

• Разминка на уравнениях Эйлера. Около сотни агентов примерно 50 часов решали более простой вариант задачи — для жидкости без вязкости.
• Основной штурм. Этот результат передали в проект по Навье–Стоксу, где одновременно работали до 10 000 агентов. Разные группы получали разные варианты задачи, а Codex сводил удачные идеи между ними. Решение нашлось 5 сентября, через 88 часов после старта.
• Формальная проверка. Ещё 17 часов GPT-6 Astra переводила доказательство на язык Lean, где каждый логический шаг проверяет программа, а не человек.

Масштаб впечатляет: агенты обменялись миллионами сообщений и потратили около 130 млрд токенов, а стоимость вычислений, по оценке Quanta, составила несколько миллионов долларов. Официальное описание опубликовано на сайте OpenAI.

Почему математики не спешат аплодировать

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

Вторая — спор о заслугах. Тристан Бакмастер из Нью-Йоркского университета и Левент Алпёге, работая с ИИ-моделями, получили результаты для уравнений Эйлера и упрощённого варианта Навье–Стокса. Бакмастер предполагает, что агенты OpenAI могли опереться на работу его команды, которая велась на моделях той же OpenAI. Компания признаёт их приоритет по уравнениям Эйлера, но настаивает на своём по Навье–Стоксу. А Чарльз Фефферман из Принстона, автор официальной формулировки задачи, назвал «героями истории» математиков Кордобу и Мартинеса-Зороа, чьи работы о сингулярностях проложили дорогу к результату. Подробный разбор реакций — в Quanta Magazine.

История напоминает недавний сюжет с теоремой Ферма: громкий заголовок, за которым скрывается более сложная картина. Мы разбирали его в статье «ИИ и теорема Ферма: что на самом деле сделал Claude».

Можно ли попробовать эту модель

Честный ответ — нет. Модель, на которой работали агенты, внутренняя, и ни в ChatGPT, ни в API, ни в каких агрегаторах её нет. Когда и в каком виде она выйдет, OpenAI не сообщала.

Зато доступна GPT-6 Astra — та самая модель, которая формализовала доказательство. В Умке она есть, работает из России без VPN и зарубежной карты и открывается после пополнения: стартовый пакет — 290 ₽ за 725 токенов. Задачу тысячелетия она за вас не решит, но разобрать доказательство по шагам, объяснить матанализ или проверить решение контрольной — вполне. Что она умеет, собрано в обзоре «GPT-6 Astra: что умеет новая модель OpenAI», а практические приёмы — в статье о решении задач с помощью ИИ.

Вывод

Если результат OpenAI устоит, это первая задача тысячелетия, решённая с решающим участием ИИ, и лишь вторая после гипотезы Пуанкаре, доказанной Перельманом. Но важнее другое: 10 000 агентов, работающих как исследовательский институт, показали, что ИИ умеет вести длинную научную работу, а не только отвечать на вопросы. Окончательный вердикт вынесут математики — и, судя по спору о заслугах, быстро это не случится.

Частые вопросы