Жидкость разогналась до бесконечности: 10 000 ИИ-агентов нашли возможную разгадку задачи Навье — Стокса

OpenAI заявила о получении доказательства для одной из семи задач тысячелетия — проблемы существования и гладкости решений уравнений Навье — Стокса. Поиск занял около 88 часов, а в наиболее масштабной группе одновременно работали порядка 10 000 ИИ-агентов, которые в сумме отправили 2,7 млн сообщений и сгенерировали около 130 млрд выходных токенов.

Полученный результат показывает сценарий, при котором первоначально спокойная и гладкая жидкость за конечное время формирует сингулярность: вихрь закручивается внутрь, одновременно вытягивается и ускоряется, а скорость жидкости неограниченно возрастает. При этом энергия системы остается конечной. Именно сочетание этих условий десятилетиями было ключевой проблемой: вязкость должна сглаживать движение, но математическая конструкция OpenAI позволяет динамике жидкости прийти к разрушению гладкого решения без введения бесконечной внешней силы.

Для поиска доказательства OpenAI разделила агентов на множество групп и дала им разные варианты задачи — как те, которые требовали доказать существование сингулярности, так и противоположные. Важным промежуточным результатом стало решение близкой задачи для уравнений Эйлера без вязкости: около 100 агентов работали над ней примерно 50 часов, после чего полученный результат использовали как направление для дальнейшего поиска. Финальное доказательство агенты получили 5 сентября, а его формализация и проверка в Lean с помощью GPT-6 Astra заняли еще 17 часов.

При этом OpenAI пока не считает задачу окончательно закрытой в академическом смысле и не претендует на миллионный приз Clay Mathematics Institute. Компания опубликовала математическое доказательство и его формализацию в Lean, однако результат еще должны независимо проверить специалисты. Если доказательство выдержит экспертизу, ИИ впервые получит шанс закрыть проблему, которая оставалась нерешенной примерно 90 лет.

Источник: openai