ИИ предложил решение задачи Навье — Стокса, но спор перешёл к данным авторов

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

Одновременно возник спор о приоритете и возможном влиянии закрытых исследований Тристана Бакмастера и Левента Алпёге, использовавших Codex при работе над близкой задачей. OpenAI отрицает использование их конкретных пользовательских данных; независимого аудита, который позволил бы внешним экспертам проверить этот вывод, публично пока нет.

Что именно доказывает опубликованная работа

Опубликованная математическая работа строит для любой положительной вязкости трёхмерное несжимаемое течение, которое начинается из состояния покоя и под действием гладкой внешней силы приобретает неограниченную скорость за конечное время. Кинетическая энергия при этом остаётся ограниченной, а сила имеет компактный носитель в пространстве и времени.

Это аналитическая конструкция, а не численное моделирование отдельной жидкости. Она соответствует вариантам C и D официальной постановки: сначала результат получается для всего трёхмерного пространства, а компактный носитель позволяет перенести конструкцию на периодическую область.

Существенная граница результата — наличие внешней силы. Такая сила прямо допускается в вариантах C и D, поэтому сама по себе не выводит доказательство за рамки задачи Клэя. Но доказанный сценарий нельзя смешивать с более узким вопросом о возникновении сингулярности в невынужденном течении.

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

Как система пришла к результату и что проверил Lean

Техническая публикация OpenAI датирует начало эксперимента 1 сентября 2026 года, указывает примерно 10 тысяч одновременно работавших агентов, получение решения 5 сентября после примерно 88 часов работы и ещё 17 часов на формализацию и проверку в Lean с помощью GPT-6 Astra; в обновлении от 10 сентября там же изложен итог внутренней проверки запросов Codex и указано, что компания не намерена претендовать на премию.

Lean проверяет, выводятся ли шаги формально записанного доказательства из заданных определений и ранее установленных утверждений. Это сильная защита от пропущенного логического перехода внутри формализации, но не автоматический знак общественного признания.

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

Почему спор затронул закрытые запросы исследователей

ABC News сопоставила позиции сторон: Бакмастер рассказал, что черновики совместного проекта с Алпёге загружались в Codex, спросил о доступе модели к этим сессиям и её обучении на них, но отдельно подчеркнул, что не знает, использовались ли данные, и никого прямо не обвиняет; Себастьян Бюбек со стороны OpenAI отрицал знакомство команды с работой до её публичного выхода и иначе описал обсуждение возможного авторства.

Работа Бакмастера и Алпёге относится к трёхмерным уравнениям Эйлера с гладкой внешней силой и опирается на направление, развивавшееся Диего Кордобой и Луисом Мартинесом-Сороей. Это близкая ступень, но не тот же результат: в уравнениях Эйлера отсутствует вязкость, тогда как доказательство OpenAI рассматривает Навье — Стокса при положительной вязкости.

Документированный конфликт поэтому уже, чем утверждение о плагиате. Установлено, что исследователи работали в близком направлении и использовали продукт OpenAI для неопубликованных материалов, а эксперимент компании начался после слухов о прогрессе по задачам тысячелетия. Публичных данных недостаточно, чтобы вынести доказанный вердикт о заимствовании или влиянии конкретных сессий.

Что установила внутренняя проверка OpenAI

После проверки компания заняла более определённую позицию: запросы Бакмастера в Codex за два месяца до публикации не могли повлиять на систему, в том числе через обучение. Объяснение сводится к тому, что внутренняя модель создавалась масштабным обучением с подкреплением поверх ранее предобученной модели.

Публично доступны вывод и краткое описание архитектуры процесса, но не журналы доступа, полный состав обучающих данных или независимый аудит временной линии. Корректный статус спора таков: OpenAI отрицает влияние закрытых сессий, Бакмастер не утверждает, что такое влияние доказано, а внешняя проверка внутреннего расследования не представлена.

Это отдельная плоскость экспертизы. Lean оценивает формальную корректность математических шагов, тогда как проверка происхождения идей и данных относится к исследовательскому процессу, правилам конфиденциальности и научному приоритету. Успешная процедура одного типа не закрывает вопросы другого.

Почему задача пока не считается окончательно решённой

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

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

По состоянию на 12 сентября подтверждены публикация конструкции, наличие формализации в Lean и позиция компании по закрытым запросам. Открытыми остаются два независимых вопроса: выдержит ли доказательство содержательную проверку математиков и появятся ли проверяемые внешними экспертами данные о происхождении результата.

Читайте также:

• ИИ-стажёр OpenAI берёт задачи на дни — решения всё ещё остаются за людьми
• Инсайт кажется очевидным — но это ещё не значит, что решение верно
• «Artificial»: фильм о Сэме Альтмане и OpenAI, который Amazon внезапно сбросила, перешёл к Neon