OpenAI нашла сингулярность в уравнениях Навье — Стокса силами 10 000 ИИ-агентов за 88 часов

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

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

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

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

По материалам: iXBT