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

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

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

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

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

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

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

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