OpenAI объявила решение задачи Навье—Стокса. Математики уже спорят, кто пришёл к нему первым

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

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

OpenAI эту интерпретацию отвергает. Руководитель математического направления компании Себастьен Бюбек назвал обвинения «ложными и подстрекательскими». Позиция компании, согласно сообщениям СМИ: её команда не обучала модели на материалах Бакмастера и Альпёге, не использовала их запросы, модели или доказательства. То есть перед нами пока не установленный факт заимствования, а конфликт двух версий о том, как возникло совпадение исследовательских траекторий — и кому, если результат подтвердится, достанется интеллектуальное первенство.

Ставки здесь необычно высоки. Задача Навье—Стокса — одна из семи задач тысячелетия Clay Mathematics Institute; за каждую назначен приз в миллион долларов. Она описывает движение вязкой жидкости и газа, но для трёхмерного случая математика до сих пор не знает, всегда ли гладкое решение остаётся гладким или способно «сломаться» в конечный момент. OpenAI утверждает именно второй вариант: её доказательство должно показывать развитие сингулярности из первоначально гладкого состояния покоя.

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

Твит — даже от OpenAI — не равен решённой задаче.

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

Пока корректнее говорить не «OpenAI решила Навье—Стокса», а «OpenAI заявила о доказательстве, вокруг которого уже возник спор о приоритете». Это всё равно грандиозная история — просто грандиозность пока состоит не в закрытой задаче, а в том, что математическая проверка, корпоративная гонка за ИИ и старый вопрос об авторстве столкнулись в одной точке.

Этот конфликт уже показывает, почему громким ИИ-открытиям может понадобиться документированная история происхождения результата: от данных и запросов до версий доказательства. Об этой проблеме подробнее — в материале «OpenAI открыла ящик Пандоры: теперь каждому ИИ-открытию понадобится паспорт происхождения».