OpenAI заявляет о решении задачи тысячелетия, но математики обвиняют компанию в присвоении чужих идей

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

Суть задачи и заявленное решение

Уравнения Навье — Стокса описывают движение жидкостей и газов. Математики десятилетиями не могли доказать, могут ли их гладкие решения за конечное время привести к сингулярности — точке, где скорость становится бесконечной. Именно этот вопрос входит в знаменитую задачу тысячелетия.

По данным OpenAI, агенты компании получили решение 5 сентября примерно за 88 часов работы. Затем ещё 17 часов потребовалось GPT-6 Astra для формализации и проверки доказательства в системе Lean. Всего в процессе решения агенты отправили около 2, 7 миллиона сообщений и использовали примерно 130 миллиардов выходных токенов.

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

Спор об авторстве

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

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

Таким образом, заявление OpenAI сейчас правильнее воспринимать как заявленное решение, а не окончательно закрытую задачу тысячелетия. Если доказательство выдержит независимую проверку, оно станет лишь второй решённой «задачей тысячелетия» после гипотезы Пуанкаре, доказанной Григорием Перельманом.