Задачу Навье-Стокса закрыли агенты OpenAI

OpenAI 8 сентября выложила решение задачи Навье-Стокса, одной из семи задач тысячелетия, и утверждает, что получил его ИИ. К текстовому разбору приложено формальное доказательство на Lean, где каждый шаг проверяет программа.

Как сказано в анонсе OpenAI, доказательство построила группа агентов. Они работали на модели OpenAI следующего поколения, «значительно более способной, чем GPT-6 Astra».

Уравнения Навье-Стокса описывают, как движутся жидкости и газы, например вода и воздух. Wired напоминает, что им около 200 лет. Официальную формулировку для задач тысячелетия, объявленных в 2000 году, написал Чарльз Фефферман. Вопрос в ней такой: остаются ли решения трёхмерных уравнений для несжимаемой жидкости гладкими сколь угодно долго или гладкое решение может в какой-то момент разрушиться.

The Wall Street Journal напоминает, что за решение каждой из семи задач обещан миллион долларов и что до сих пор решённой считалась только одна. Решение OpenAI газета называет прорывом и самым значительным продвижением на сегодня в год «немыслимого прогресса в математике», когда всё более мощные ИИ-системы закрывали гипотезы, долго не дававшиеся людям.

По сообщению Wired, вышедшему в тот же день, громкий анонс омрачили обвинения в некорректных действиях, а часть академиков выступила с протестом.