Игорь Апресов | Radio Ingvar

OpenAI решила задачу тысячелетия. Похоже, это тот самый момент.

8 сентября OpenAI опубликовала решение одной из семи знаменитых задач тысячелетия — задачи существования и гладкости решений уравнений Навье—Стокса.

Это не очередной бенчмарк и не олимпиадная задача. Проблема оставалась открытой около 90 лет, а Clay Mathematics Institute назначил за её решение премию $1 млн.

Если совсем просто: уравнения Навье—Стокса описывают движение жидкостей и газов. Один из фундаментальных вопросов состоял в том, может ли из изначально гладкого состояния возникнуть сингулярность — точка, где математическое решение фактически «взрывается».

Система OpenAI утверждает: да, может, и приводит доказательство возникновения такой сингулярности за конечное время.

И вот что здесь особенно интересно с точки зрения разработки ИИ.

Для поиска решения использовалась ещё не выпущенная внутренняя модель OpenAI, которая, по заявлению компании, существенно сильнее GPT-6 Astra.

Но работала она не одна.

OpenAI запустила систему примерно из 10 000 одновременно работающих AI-агентов. У агентов были инструменты: доступ к кэшированной копии интернета, возможность запускать код и взаимодействовать внутри групп.

На поиск решения ушло около 88 часов.

После этого результат был не просто выдан текстом. OpenAI опубликовала само доказательство и его формальную проверяемую версию на Lean.

Это важная деталь.

Мы довольно быстро движемся от модели в стиле:

«спросил LLM → получил ответ»

к системе:

модель → тысячи агентов → инструменты → код → формальная верификация → результат.

И в этот раз результатом потенциально стало решение одной из самых известных нерешённых математических задач человечества.

Внимание: это заявленное решение, а не окончательно признанное математическим сообществом. Доказательство только опубликовано и сейчас будет разбираться независимыми математиками. Именно поэтому корректнее говорить «OpenAI заявила о решении».

Официальная публикация OpenAI:
On the Navier–Stokes Millennium Prize Problem — OpenAI

Разбор Nature:
OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’ — Nature

Разбор The Guardian:
OpenAI claims to have solved maths problem that stumped humans for decades — The Guardian

Если доказательство устоит, вопрос уже не в том, может ли ИИ заниматься новой математикой.

Вопрос — насколько быстро изменится сама модель научного исследования.