Восемьдесят восемь часов без перерыва: как машина взялась за одну из семи проблем тысячелетия
Миллион долларов пока никто не получил. И, возможно, не получит ещё долго. Речь о премии, которую Математический институт Клэя обещал за решение любой из семи задач тысячелетия. OpenAI заявила о решении одной из них — уравнения Навье — Стокса.
Компания, подарившая миру ChatGPT, объявила: уравнения Навье — Стокса поддались. Причём не человеку, а связке из примерно десяти тысяч ИИ-агентов. Они трудились над задачей около 88 часов подряд, без остановки и без вмешательства извне.
Что именно удалось доказать? Уравнения Навье — Стокса описывают движение жидкостей и газов — воды, воздуха, да чего угодно текучего. Математики десятилетиями бились над вопросом: всегда ли эти уравнения дают корректное решение? Или при определённых условиях они «взрываются» — скорость потока устремляется в бесконечность, а формулы теряют смысл?
Ответ, который представили в OpenAI, звучит так: да, взрываются. Существуют конфигурации, где решение перестаёт существовать в привычном виде. Формально это означает, что для некоторых начальных условий решение перестаёт существовать.
Что стоит за цифрами и почему всё не так просто
Заявленная система, по словам разработчиков, оказалась мощнее даже последней модели GPT-6 Astra. По утверждению разработчиков, система превосходит по вычислительной мощности их предыдущие модели. Речь идёт о внутренней разработке, которую в компании пока не выкатывали на публику.
Формально доказательство проверили — на языке Lean, инструменте для автоматической верификации математических рассуждений. Но это не то же самое, что признание сообщества. Рецензирование в математике — процесс неспешный. Иногда на него уходят годы.
Официального подтверждения от института Клэя нет. Приз в миллион долларов не выплачен. И это принципиальный момент: пока независимые эксперты не пройдут по всей цепочке рассуждений, результат остаётся заявкой, а не фактом.
«Это событие стало свидетельством вторжения продвинутых моделей ИИ в область математики и изменений, которые они приносят», — говорят разработчики.
Независимые математики пока не подтвердили результат. Системы такого масштаба съедают колоссальные вычислительные ресурсы. Десять тысяч агентов, работающих почти четверо суток, — это не один ноутбук и не два. Энергия, железо, охлаждение. Вопрос цены пока никто не отменял.
Сообщения о прорыве появились ещё в 2025 году, и тогда же начались расхождения в деталях. Одни источники говорили о гипотезе Эрдёша, другие — о уравнениях Навье — Стокса. Сейчас версия с Навье — Стокса доминирует, но осадок от разночтений остался.
Что это меняет для обычного человека? Напрямую — ничего. Через три-шесть месяцев, скорее всего, тоже. Но косвенно — многое. Если ИИ действительно научился вести длинные цепочки строгих рассуждений, следующая остановка — инженерия, медицина, материаловедение. Там, где математика перестаёт быть абстракцией.
Пока же математическое сообщество молчит. Проверяет. И это, пожалуй, самый честный ответ на любые громкие заявления.