OpenAI написали, что их внутренняя модель решила задачу Навье—Стокса — на минуточку, это одна из семи задач тысячелетия.
И вокруг этого сейчас разгорается очень большой скандал. Кратко, суть такая:
-
OpenAI утверждают, что их внутренний ИИ построил доказательство образования сингулярности за конечное время для уравнений Навье—Стокса с гладкой внешней силой. Они опубликовали 166-страничный препринт и формализацию в Lean.
-
Параллельно математики Тристан Бакмастер и Левент Альпёге (он работает в Anthropic 🙂) около года развивали близкий подход с помощью Claude и Codex. Важно: они опубликовали не решение задачи Навье—Стокса, а три связанных результата — в том числе доказательство для трёхмерных уравнений Эйлера с гладкой внешней силой и его Lean-формализацию.
-
По подробному заявлению Бакмастера, OpenAI начали свой заход после того, как услышали слухи об их работе. Бакмастер спросил, могла ли модель обучаться на их сессиях Codex, куда они загружали черновики. По его словам, на вопрос об обучении прямого ответа не последовало.
-
Там же Бакмастер пишет, что Себастьян Бюбек дважды предлагал убрать Альпёге из авторов из-за его работы в Anthropic. Когда Бакмастер отказался и сказал, что расскажет об этом публично, он, по собственным словам, услышал: «Зачем вам рушить свою карьеру?»
-
OpenAI, со своей стороны, утверждают, что не видели работу математиков до её публикации и не обращались к конкретным пользовательским данным. При этом компания не исключает, что обезличенные данные от использования её продуктов могли повлиять на обучение моделей.
Если вдруг ты прямо сейчас близок к решению еще одной задачи тысячелетия - лучше не загружать ее решение в OpenAI, а-то Сэм Альтман завтра напишет что у GPT очередной математический прорыв.
Первоисточники
- Анонс OpenAI, препринт доказательства и Lean-репозиторий
- Официальная формулировка задачи Навье—Стокса от Clay Mathematics Institute
- Заявление Тристана Бакмастера и исходный пост с анонсом
- Препринт Бакмастера и Альпёге по уравнениям Эйлера и Lean-формализация их результатов
- Изображение в шапке: вихревая дорожка фон Кармана у острова Алехандро-Селькирк, NASA / Wikimedia Commons, public domain
