OpenAI заявила о решении задачи тысячелетия Навье — Стокса: 165 страниц доказательств и спор об авторстве

Компания OpenAI объявила о фундаментальном научном прорыве: закрытая экспериментальная модель компании якобы нашла решение одной из семи задач тысячелетия — проблемы существования и гладкости решений трехмерных уравнений Навье — Стокса. На поиск математического доказательства ушло 88 часов вычислений и скоординированная работа роя из 10 тысяч параллельных ИИ-агентов. Однако Математический институт Клэя по-прежнему считает задачу нерешенной, а академическое сообщество только начинает длительную проверку выкладок.

В чем суть проблемы и что доказала нейросеть

Уравнения Навье — Стокса описывают физику движения жидкостей и газов — от океанских течений до турбулентности вокруг самолетного крыла. В прикладных инженерных расчетах их численные приближения применяются десятилетиями, однако почти два века открытым оставался фундаментальный математический вопрос: сохраняют ли решения трехмерных уравнений гладкость бесконечно долго или при определенных условиях неизбежно возникает сингулярность (blow-up), при которой скорость или давление устремляются в бесконечность.

Как сообщает The Wall Street Journal, алгоритм OpenAI построил математический контрпример, доказав принципиальную возможность возникновения сингулярности за конечное время. Доказательство насчитывает около 165 страниц, а все промежуточные шаги были формализованы и проверены в среде интерактивного доказательства теорем Lean 4.

Вычисления выполняла не серийная GPT-6 Astra, а еще более сложная внутренняя система. На внутреннем наборе олимпиадных задач повышенной сложности Astra справлялась примерно с 10% заданий, тогда как новая архитектура решила около 50%. В ходе 88-часового штурма кластер из десяти тысяч агентов параллельно тестировал разные математические ветви, перепроверяя логику друг друга.

Почему премию в $1 млн пока никто не получил

Несмотря на громкие заголовки в прессе, официально проблема Навье — Стокса остается в списке нерешенных.

Согласно правилам Математического института Клэя, машинной проверки в Lean или статьи на сервере препринтов недостаточно:

• Доказательство обязано пройти полноценное рецензирование и выйти в признанном математическом журнале;
• После публикации начинается обязательный двухлетний период ожидания, в течение которого ученые со всего мира будут искать скрытые логические пробелы;
• Только после широкого признания международным сообществом консультативный совет института запускает официальную процедуру признания.

Единственной закрытой задачей тысячелетия из семи остается гипотеза Пуанкаре, доказанная Григорием Перельманом. При этом, по информации Axios, сама OpenAI не намерена претендовать на положенную за решение награду в один миллион долларов.

Спор об авторстве и подозрения в утечке

Анонс сопровождается конфликтом вокруг научного приоритета. Математик Нью-Йоркского университета Тристан Бакмастер и исследователь Левент Альпёге из компании Anthropic вели независимую работу над похожим направлением.

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

Сам по себе факт решения сложнейшей математической проблемы не означает создания полноценного сильного ИИ (AGI). Однако если 165-страничный труд подтвердят независимые ученые, это станет первым в истории доказательством того, что нейросети способны не просто систематизировать накопленные знания, а совершать фундаментальные открытия исследовательского уровня.