Заявление OpenAI о решении задачи Навье — Стокса вызвало вопросы к доказательству
OpenAI заявила, что её внутренняя модель и 10 тысяч параллельных агентов решили задачу Навье — Стокса. Математики обсуждают корректность доказательства и то, как именно компания получила результат.
Что утверждает OpenAI
OpenAI заявила, что решила задачу Навье — Стокса с помощью внутренней модели, которая, по утверждению компании, мощнее GPT-6 Astra, и 10 000 одновременно работающих агентов. Задача описывает движение жидкостей и газов и входит в семь «Задач тысячелетия». За строгое решение предусмотрена премия в 1 млн долларов, однако OpenAI сообщила, что не собирается её получать.
Компания утверждает, что обучение внутренней модели началось 28 августа. Заявление вызвало вопросы о том, как был получен результат и использовались ли пользовательские данные; OpenAI ответила, что пользовательские данные для решения не применялись.
Результат требует независимой проверки
Сообщение разработчика ещё не означает, что задача признана решённой математическим сообществом. Для этого специалистам необходимо изучить полное доказательство, проверить его шаги и установить, что оно соответствует формулировке задачи.
The Verge описывает разгоревшийся спор и вопросы исследователей, а не завершённую независимую верификацию. Пока доказательство не прошло такую проверку, точнее говорить о заявлении OpenAI и обсуждении его оснований, а не об общепринятом решении.
За день до заявления OpenAI математик Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Альпёге опубликовали результат по связанной задаче. Бакмастер утверждает, что OpenAI могла использовать ход доказательства, который он исследовал с Codex и Claude, а черновики сохранились в сессиях Codex.
OpenAI отрицает доступ к конкретным пользовательским данным. При этом представитель компании Себастьян Бубек признал, что полностью исключить влияние обезличенных данных использования продуктов на улучшение моделей нельзя. Он говорит, что команда не видела работу исследователей до публикации и что два доказательства существенно различаются. Бакмастер оспаривает это объяснение.
The Verge: заявление OpenAI о задаче Навье — Стокса