OpenAI опубликовала доказательство задачи тысячелетия, его получил рой ИИ-агентов

OpenAI опубликовала доказательство проблемы Навье-Стокса — одной из семи задач тысячелетия Института Клэя, за решение каждой обещан миллион долларов. Речь про существование и гладкость решений уравнений движения жидкости. Доказано, что гладкое течение несжимаемой жидкости в трёх измерениях может за конечное время дать сингулярность — скорость в точке растёт неограниченно, хотя энергия конечна.

Доказательство получила группа агентов на внутренней модели, которую в компании называют заметно более мощной, чем GPT-6 Astra. По словам сотрудника OpenAI Уилла Депью, прогон занял 4,9 млн сообщений, 300 млрд токенов и до 10 тысяч одновременно работающих агентов. Выложены и текстовое изложение, и формализация в системе доказательств Lean — то есть машинная проверка.

OpenAI заявила, что на приз Института Клэя не претендует. Рецензирования доказательство пока не прошло.

OpenAI@OpenAI

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem https://t.co/8zol3BPTL4

88 5158 сентября 2026