OpenAI заявила, что ИИ нашёл решение уравнений Навье‑Стокса — задачи тысячелетия

9 сентября 2024 года OpenAI представила научную статью, в которой заявила, что её экспериментальная система искусственного интеллекта нашла доказательство существования и гладкости решений уравнений Навье–Стокса. Эта система, названная «DeepMath‑Navier», использует комбинацию трансформеров и символьных вычислителей, что позволяет ей исследовать сложные нелинейные дифференциальные уравнения без человеческого вмешательства.

Уравнения Навье–Стокса описывают движение вязкой жидкости и газа и лежат в основе аэродинамики, метеорологии и многих инженерных расчётов. Несмотря на их практическую значимость, математическое доказательство того, что в трёхмерном пространстве всегда существуют гладкие решения, остаётся открытой задачей с 1900‑х годов. За решение этой задачи, входящей в список «семи задач тысячелетия» Клейского математического института, предусмотрена премия в один миллион долларов.

До сегодняшнего дня из всех семи проблем только гипотеза Пуанкаре была официально решена, что случилось в 2003 году. Поэтому любой анонс о потенциальном решении Навье‑Стокса привлекает внимание как учёных, так и инвесторов. OpenAI подчёркивает, что их выводы уже прошли внутреннюю проверку модели, однако окончательная валидация потребует независимых экспертиз от ведущих специалистов по математическому анализу и вычислительной гидродинамике.

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

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

OpenAI уже объявила, что планирует открыть доступ к «DeepMath‑Navier» для академических лабораторий, что может стать первым шагом к открытой коллаборации между ИИ и математиками в решении самых сложных задач современности.