OpenAI потратила $22,5 млн на вычисления ради задачи тысячелетия — и решила лишь её часть

28 августа OpenAI начала обучать новую внутреннюю модель с сильными результатами по математике. Через несколько дней, 1 сентября, в X появился вирусный пост о том, что Anthropic якобы близок к решению двух задач тысячелетия. Слух был неверным: математики Tristan Buckmaster и Levent Alpöge не решали две задачи тысячелетия, и это не было работой Anthropic. Но OpenAI восприняла слух как сигнал и запустила новую модель на все оставшиеся задачи тысячелетия.

Сначала около 100 агентов примерно 50 часов работали над более простой задачей и получили результат для уравнений Эйлера без внешней силы. После этого OpenAI решила, что уравнения Навье — Стокса выглядят наиболее перспективной целью, сняла агентов с остальных задач и направила ресурсы туда. Агентам дали полученное решение для Эйлера как входные данные. Группа, которая в итоге получила результат по Навье — Стоксу, включала порядка 10 000 одновременно работающих агентов. На задачу отправили 2,7 млн сообщений и сгенерировали около 130 млрд токенов. Вся кампания по математическим задачам съела около 300 млрд токенов. По оценке TechCrunch, это соответствует примерно $22,5 млн по текущим тарифам Astra.

Через 88 часов, 5 сентября, система получила решение. Ещё 17 часов ушло на формализацию и проверку в Lean. В официальной постановке Чарльза Феффермана для Clay Institute четыре варианта. Варианты A и B требуют доказать, идкость без всякого внешнего воздействия всегда движется гладко. Варианты C и D разрешают приложить к жидкости гладкую внешнюю силу и требуют предъявить хотя бы один случай разрушения. OpenAI закрыла именно C и D, то есть версию с внешней силой. Формально это один из четырёх засчитываемых ответов. Но C не является отрицанием A, поэтому главный физический вопрос про жидкость без всякого внешнего воздействия остался ровно там, где был.

Параллельно развивалась история с авторством. Buckmaster и Alpöge работали над задачами вокруг уравнений Эйлера и Навье — Стокса около года — не как сотрудники Anthropic, а в свободное время, без институциональных договорённостей. Они развивали направление Diego Córdoba и Luis Martínez-Zoroa и получили сильный результат: разрушение за конечное время для трёхмерных уравнений Эйлера с гладкой внешней силой. В процессе они использовали ИИ, включая Claude и Codex, а доказательства формализовали в Lean. Terence Tao назвал их результат выдающимся достижением.

По версии Buckmaster, когда Sébastien Bubeck, математик OpenAI, уже знал об их работе, состоялись разговоры. Buckmaster описывает ситуацию так: ему предложили два варианта. Первый — они с Alpöge публикуют результат по Эйлеру, а OpenAI на следующий день публикует решение Навье — Стокса. Второй — после публикации Buckmaster один, уже без Alpöge, пишет статью с результатом по Навье — Стоксу и указывает, что доказательство получила внутренняя модель OpenAI. Buckmaster отказался от обоих вариантов и предупредил, что публично расскажет о произошедшем, если OpenAI выпустит результат в предложенном виде. Bubeck эту версию оспаривает, называя обвинения ложными и провокационными, но на конкретные пункты не отвечает.

Что это меняет для отрасли. Во-первых, масштаб вычислений: 10 000 агентов и 300 млрд токенов — это не эксперимент, а полноценная вычислительная кампания, сопоставимая по бюджету с небольшим исследовательским грантом. Во-вторых, становится видна граница между «решить задачу» и «решить ту же задачу в постановке, которая закрывает главный вопрос». OpenAI закрыла C и D, но A остался открытым. В-третьих, история с авторством показывает, что академические нормы и корпоративные интересы в ИИ-математике пока плохо совместимы. Что остаётся неясным: как именно агенты пришли к решению, насколько оно воспроизводимо и будет ли опубликовано в рецензируемом виде.