🌊 ИИ решил задачу, которую математики не могли взять 170 лет
Уравнения Навье–Стокса описывают движение любой жидкости или газа: кровь в сосудах, воздух вокруг крыла самолёта, охлаждающую жидкость в силовом модуле, торнадо. Написаны в 1820–1840-х и с тех пор лежат в основе инженерных расчётов по всему миру. Математически, однако, оставался открытым один вопрос: может ли решение в какой-то момент «взорваться», уйдя в бесконечность? То есть существуют ли вообще гладкие решения для произвольных начальных условий — или в какой-то момент физика жидкости выходит за пределы того, что уравнения способны описать?
Это одна из семи «задач тысячелетия» Института Клэя, сформулированных в 2000 году, с призом $1 000 000 за каждую. За четверть века не была решена ни одна.
8 сентября 2026 года OpenAI объявила: Навье–Стокс решена.
Система из ~10 000 ИИ-агентов работала 88 часов непрерывно: читала математические статьи, запускала код, проверяла и оспаривала идеи друг друга. Результат — доказательство того, что в изначально абсолютно гладкой и спокойной жидкости скорость может уйти в бесконечность за конечное время. Иными словами, сингулярность существует. После этого ещё 17 часов ушло на формальную верификацию в системе Lean, где корректность каждого шага доказательства проверяется автоматически. Параллельно выяснилось, что команда Anthropic независимо работала над смежной задачей для уравнений Эйлера. Обе компании узнали об успехах друг друга только после публикации.
Для инженеров это не абстракция. Навье–Стокс лежит в основе расчётов охлаждения силовых модулей, гидравлики турбин, аэродинамики вентиляторов, теплоносителей в реакторах. Теперь известно, что уравнения при определённых условиях математически «ломаются» — а значит, численные решатели, на которых строится проектирование, имеют скрытые пределы применимости, и где именно проходит эта граница, предстоит разбираться.
Отдельная история — с премией. OpenAI заявила, что намеренно не претендует на миллион долларов: пусть решение сначала верифицирует научное сообщество и Институт Клэя. Звучит благородно, но история с задачами тысячелетия уже знает прецедент. Когда Григорий Перельман доказал гипотезу Пуанкаре, вокруг его работы немедленно началась борьба за авторство: ряд математиков опубликовал объёмные «разборы» доказательства, написанные так, что читатель мог решить — ключевой вклад сделан именно ими. Перельман в итоге отказался и от премии Клэя, и от Филдсовской медали — в знак протеста против того, как математическое сообщество обходится с вопросами приоритета. Миллион так и остался невостребованным. Чем завершится история с Навье–Стокс — пока открытый вопрос.
📎 Источник: OpenAI — О задаче тысячелетия Навье–Стокса
Уравнения Навье–Стокса описывают движение любой жидкости или газа: кровь в сосудах, воздух вокруг крыла самолёта, охлаждающую жидкость в силовом модуле, торнадо. Написаны в 1820–1840-х и с тех пор лежат в основе инженерных расчётов по всему миру. Математически, однако, оставался открытым один вопрос: может ли решение в какой-то момент «взорваться», уйдя в бесконечность? То есть существуют ли вообще гладкие решения для произвольных начальных условий — или в какой-то момент физика жидкости выходит за пределы того, что уравнения способны описать?
Это одна из семи «задач тысячелетия» Института Клэя, сформулированных в 2000 году, с призом $1 000 000 за каждую. За четверть века не была решена ни одна.
8 сентября 2026 года OpenAI объявила: Навье–Стокс решена.
Система из ~10 000 ИИ-агентов работала 88 часов непрерывно: читала математические статьи, запускала код, проверяла и оспаривала идеи друг друга. Результат — доказательство того, что в изначально абсолютно гладкой и спокойной жидкости скорость может уйти в бесконечность за конечное время. Иными словами, сингулярность существует. После этого ещё 17 часов ушло на формальную верификацию в системе Lean, где корректность каждого шага доказательства проверяется автоматически. Параллельно выяснилось, что команда Anthropic независимо работала над смежной задачей для уравнений Эйлера. Обе компании узнали об успехах друг друга только после публикации.
Для инженеров это не абстракция. Навье–Стокс лежит в основе расчётов охлаждения силовых модулей, гидравлики турбин, аэродинамики вентиляторов, теплоносителей в реакторах. Теперь известно, что уравнения при определённых условиях математически «ломаются» — а значит, численные решатели, на которых строится проектирование, имеют скрытые пределы применимости, и где именно проходит эта граница, предстоит разбираться.
Отдельная история — с премией. OpenAI заявила, что намеренно не претендует на миллион долларов: пусть решение сначала верифицирует научное сообщество и Институт Клэя. Звучит благородно, но история с задачами тысячелетия уже знает прецедент. Когда Григорий Перельман доказал гипотезу Пуанкаре, вокруг его работы немедленно началась борьба за авторство: ряд математиков опубликовал объёмные «разборы» доказательства, написанные так, что читатель мог решить — ключевой вклад сделан именно ими. Перельман в итоге отказался и от премии Клэя, и от Филдсовской медали — в знак протеста против того, как математическое сообщество обходится с вопросами приоритета. Миллион так и остался невостребованным. Чем завершится история с Навье–Стокс — пока открытый вопрос.
📎 Источник: OpenAI — О задаче тысячелетия Навье–Стокса