OpenAI заявила, что ее экспериментальная система нашла решение одной из семи задач тысячелетия — проблемы существования и гладкости решений уравнений Навье—Стокса. Компания опубликовала математическое доказательство и его формальную версию на языке Lean. Но в реестре Математического института Клэя задача утром 9 сентября по-прежнему помечена как нерешенная.
Это не противоречие, а обычная для большой математики пауза между громким результатом и признанным результатом. OpenAI выложила работу для проверки сообществом. Независимые специалисты еще должны изучить каждый переход, а институт Клэя по собственным правилам не может вручить миллион долларов сразу после пресс-релиза — даже если доказательство безупречно.
Что именно утверждает OpenAI
В официальной публикации от 8 сентября компания пишет, что ее внутренняя модель построила пример, в котором изначально гладкая трехмерная жидкость, находящаяся в покое, при воздействии гладкой внешней силы за конечное время приходит к сингулярности. При этом энергия системы остается конечной.
Если говорить без формул, скорость движения в математической модели растет без ограничения в некоторой области, хотя начальные условия и внешнее воздействие не содержат заранее спрятанной бесконечности. Такой пример опровергает предположение, что гладкость всегда сохраняется, и соответствует вариантам C и D в официальной формулировке задачи.
Центральная конструкция — вихрь, который закручивается внутрь и вытягивается, одновременно уменьшаясь в масштабе. OpenAI сравнивает форму с длинными нитями спагетти. Аналогия слегка кулинарная, но проблема совсем не бытовая: ускорение, давление, перенос импульса и вязкость должны стать большими и очень точно компенсировать друг друга, чтобы внешняя сила осталась гладкой.
Почему уравнения Навье—Стокса так важны
Эти уравнения описывают движение жидкостей и газов как непрерывной среды. На них опираются модели потока воздуха вокруг самолета, воды вокруг корпуса судна, движения атмосферы и крови. Уравнения записаны в XIX веке, но фундаментальный вопрос о поведении их трехмерных решений оставался открытым десятилетиями.
Сингулярность не означает, что реальная вода внезапно обязана разогнаться до бесконечной скорости. Скорее это граница применимости непрерывной математической модели. Если доказательство верно, оно показывает, что даже при разумных исходных условиях уравнение способно само привести к режиму, где привычное гладкое описание ломается.
Институт Клэя включил проблему в список задач тысячелетия в 2000 году и назначил за решение $1 млн. На официальной странице института она пока имеет статус Unsolved.
Как ИИ искал доказательство
По рассказу OpenAI, работа началась 1 сентября после слухов о продвижении других исследователей в близкой задаче для уравнений Эйлера. Компания запустила систему примерно из 10 тысяч параллельных агентов на внутренней модели, которая, по ее утверждению, значительно сильнее недавно представленной GPT-6 Astra.
Агенты рассматривали разные варианты задачи, обменивались промежуточными идеями и использовали инструменты для чтения материалов и вычислений. К результату по Навье—Стоксу система пришла 5 сентября, примерно через 88 часов. Еще 17 часов заняла формализация и проверка в Lean с помощью GPT-6 Astra. Только на этот проект, по данным компании, пришлось около 2,7 млн сообщений и примерно 130 млрд выходных токенов.
Lean проверяет, следует ли каждый формальный шаг из заданных правил. Это гораздо сильнее простого ответа чат-бота «выглядит верно». Но формализация не отменяет содержательную экспертизу: важно убедиться, что формально доказана именно требуемая теорема, исходные предпосылки допустимы, а перевод человеческого доказательства в систему не подменил задачу более удобной.
Почему премию не вручат в ближайшее время
Правила института Клэя устанавливают три обязательных условия. Работа должна появиться в квалифицируемом научном издании, после публикации должно пройти не менее двух лет, а результат должен получить общее признание мирового математического сообщества. Институт не принимает решения напрямую от авторов.
OpenAI отдельно заявила, что не намерена претендовать на премию. Даже если позднее доказательство признают, вопрос о формальном авторстве результата, созданного системой из тысяч агентов при участии исследователей, сам по себе станет интересным сюжетом для науки и права.
Сейчас корректно говорить не «ИИ окончательно решил задачу», а «OpenAI опубликовала заявленное решение». Для статуса великой теоремы пресс-релиз — только старт рецензирования. Математика вообще плохо поддается ускорению заголовком: она готова ждать два года, чтобы проверить одну строку.
Ранее мы подробно разбирали, что умеет GPT-6 Astra и почему ее появление еще не означает AGI. Новый результат показывает другую сторону гонки моделей: важнее становится не эффектный разговор, а возможность предъявить проверяемый объект — статью, код и формальное доказательство.
Главные новости ИИ — в Telegram-канале Digital Report.
