В математике существует список из 7 задач тысячелетия, признанных одними из самых сложных в современной математики. За их решение дают приз в 1 млн долларов. За 26 лет существования списка была решена только одна задача — гипотеза Пуанкаре, хотя над оставшимися бились тысячи математиков по всему миру.
Недавно OpenAI объявила, что ее модель решила еще одну задачу из списка — уравнения Навье-Стокса.
😖 Над задачей работал рой из 10 000 параллельных агентов, которые потратили порядка 130 млрд токенов и 88 часов.
Доказательство формализовано и проверено в Lean силами GPT-6 Astra, ошибок не найдено.
▶️ А теперь про скандал!
Математики Тристан Бакмастер и Левент Альпеге (сотрудник Anthropic) почти год шли к похожему доказательству через Codex и Claude. В августе они получили результат по смежной задаче, уравнениям Эйлера.
По их версии, узнав об этом, OpenAI направила модель на ту же задачу и получила подозрительно похожий подход. Бакмастеру предложили опубликоваться первым, но без соавтора Anthropic. Он отказался и разместил свои черновики.
OpenAI признала приоритет пары лишь в уравнениях Эйлера и заявила: логи сессий Бакмастера в Codex модель напрямую не использовала. Но оговорилась — исключить, что анонимизированные данные из его переписок попали в обучающую выборку, компания не может. Так что остается верить OpenAI на слово, что модель дошла до решения с нуля 👀
Многие называют это первым случаем, когда задача уровня фундаментальной математики, десятилетиями недоступная людям, поддалась AI. Вот такие дела 💡