Метод OpenAI для уравнений Навье–Стокса расходится с официальным: проверка затянется на годы

Главный смысл: Сентябрьское заявление OpenAI, что её ИИ-система за 88 часов доказала задачу тысячелетия — уравнения Навье — Стокса, — вызвало скепсис математиков: 166-страничное доказательство разбирают до сих пор, а заодно спорят, какова роль 10 000 агентов.

• Метод не совпадает с «испанским маршрутом». Гонсало Као-Лабора (Gonzalo Cao-Labora) считает, что OpenAI опубликовала результат, не разобравшись в нём: доказательство идёт другим путём, чем подход Диего Кордовы и Луиса Мартинеса-Сорои, а сходство может быть чисто внешним. Проверяющие в беседе с Scientific American сошлись, что «испанский маршрут» в работе не использован.

• Решён не главный вариант задачи. Конструкция OpenAI использует член внешней силы и разгоняет скорость потока до бесконечности за конечное время. Это вписывается в букву формулировки Института Клэя, но обходит ключевой вопрос: остаются ли решения трёхмерных уравнений гладкими без внешних сил.

• Претензии к заимствованиям. Тристан Бакмастер из Нью-Йоркского университета предположил, что OpenAI могла опереться на его совместные эксперименты с Левентом Альпёге (Levent Alpöge) из Anthropic. OpenAI отрицает: по справке от 10 сентября, его запросы в Codex не могли повлиять на результат, включая обучение модели. Спор не закрыт.

• Роль агентов не измерена. По данным OpenAI, работали около 10 000 параллельных агентов: 2,7 млн сообщений и 130 млрд токенов за 88 часов, ещё 17 часов заняла формализация в Lean. Ноам Браун из OpenAI признал: вклад мультиагентной схемы никто не считал, эксперименты слишком дороги; его оценка — менее 10 %, решает сама базовая модель.

Что дальше: В начале октября OpenAI выложила на GitHub ещё около 400 математических результатов — их переваривание займёт годы. Поток публикаций без рецензирования размывает границу между строгой проверкой и автогенерацией, а верификация в Lean подтверждает лишь вывод по правилам, но не то, что доказательство отвечает на исходный вопрос. За чем следить: независимый разбор метода и позиция Института Клэя.