OpenAI: 10 000 AI-агентов за 88 часов доказали теорему Навье–Стокса — но не ту

8 сентября 2026 года OpenAI опубликовала сообщение о прорыве в математике: система из 10 000 AI-агентов, работавшая 88 часов без участия человека, создала доказательство теоремы о конечно-временном взрыве (finite-time blowup) для трёхмерных уравнений Навье–Стокса с вынуждением.

Что это означает математически: ``` Уравнения Навье–Стокса: Описывают движение вязкой несжимаемой жидкости Используются: авиация, метеорология, гидравлика

Мillennium Prize постановка (Clay Institute): Вопрос: существуют ли гладкие решения навсегда или они «взрываются» за конечное время? Требование: для НЕВЫНУЖДЕННЫХ уравнений Награда: $1 000 000

OpenAI результат: Доказали: для ВЫНУЖДЕННЫХ уравнений — решения могут взрываться за конечное время → Это близко, но другая математическая проблема → OpenAI САМИ заявили: не претендуют на Prize ```

Как это было сделано — 10 000 агентов: ``` Архитектура системы: Параллельные агенты: ~10 000 Длительность: 88 часов (≈3.7 суток) Режим: полная автономия (без human-in-the-loop)

Последовательность:

1. 1.Агенты-исследователи изучают литературу
2. 2.Агенты-гипотезы генерируют подходы
3. 3.Агенты-доказатели формализуют аргументы
4. 4.Агенты-верификаторы проверяют в Lean 4

Верификация результата: → Доказательство формально проверено в Lean → Несколько независимых математиков подтвердили корректность с точки зрения теоремы ```

Скандал с конкурирующим исследованием: ``` Что произошло: → OpenAI начали работу 1 сентября после слуха о работе Levent Alpöge (Anthropic) и Tristan Buckmaster (NYU, математик) → OpenAI завершили 6 сентября → Связались с коллегами и узнали: те занимались уравнениями Эйлера, не Навье–Стокса

Оценка математического сообщества: «Провокационное и интригующее» — Quanta Magazine «Первый раз AI создал нетривиальное доказательство в сложной области» — MIT математики Но: вопрос об авторстве и приоритете остаётся ```

Практическое значение для enterprise: ``` Что меняется: → AI-агентные системы могут решать задачи, требующие месяцев человеческого труда → 88 часов при ~$50/GPU-час × 10K агентов ≈ $4.4M в вычислительные ресурсы (это цена Millennium Prize + 4x) → Инженерное и научное R&D: следующий фронтир

Для российских компаний: → AI-агентные системы для технических расчётов (аэродинамика, CFD, строительство) — реальная среднесрочная перспектива → GigaChat и YandexGPT пока не применяются для математических доказательств — ниша для западных и китайских систем ```