ИИ заявил о решении задачи Навье - Стокса стоимостью $1 млн
Математики OpenAI сообщили о возможном прорыве в одной из главных нерешённых проблем современной науки. По их утверждению, группа из 10 000 автономных ИИ-агентов обнаружила особый сценарий поведения трёхмерных уравнений Навье - Стокса: при определённых начальных условиях решение способно за конечное время прийти к сингулярности, то есть "взорваться".
Если результат подтвердят независимые эксперты, речь может идти о решении одной из шести оставшихся задач тысячелетия. Математика этого уровня не ограничивается абстрактными формулами: от корректности уравнений зависит понимание движения воздуха, воды, океанических течений и других потоков.
Задачи тысячелетия были сформулированы Математическим институтом Клэя в 2000 году. За доказательство каждой из них учреждена премия в размере $1 млн. До последнего времени полностью решённой считалась только гипотеза Пуанкаре. Теперь к этому списку может добавиться задача Навье - Стокса.
Что именно требуется доказать
Уравнения Навье - Стокса описывают движение вязких жидкостей и газов. Они выведены на основе второго закона Ньютона и учитывают давление, скорость потока, внешние силы и внутреннее трение среды. С их помощью можно моделировать как движение воды в трубопроводе, так и атмосферные процессы.
Главная проблема заключается не в самой записи уравнений, а в поведении их решений. Математикам необходимо установить, существуют ли для любых допустимых начальных условий гладкие решения, сохраняющие конечные значения скорости и других параметров на протяжении всего времени. Иными словами, требуется понять, возможно ли появление точки, в которой скорость становится бесконечной или математическая модель теряет корректность.
Именно такую область называют сингулярностью. При её возникновении бесконечно малая часть жидкости может начать двигаться с неограниченно большой скоростью. В физической реальности подобный сценарий не обязательно наблюдается напрямую, однако для математической теории это принципиальный вопрос.
Согласно заявлению OpenAI, найденная конфигурация была проверена в системе Lean - формальном языке, который позволяет пошагово удостоверять математические доказательства. Такой подход значительно повышает надёжность результата, но не отменяет необходимости в независимой экспертизе. В математике важна не только машинная проверка отдельных шагов, но и ясность исходных предпосылок, корректность постановки задачи и соответствие доказательства официальным требованиям Института Клэя.
Подробности вычислительного эксперимента и аргументации специалистов изложены в материале о том, как искусственный интеллект исследует [решение уравнений Навье - Стокса](https://habr.com/ru/articles/1080492/?utm_source=habrahabr&utm_medium=rss&utm_campaign=1080492). При этом сам факт публикации заявления ещё не означает автоматического присуждения премии: подобные результаты проходят длительную процедуру проверки.
Почему вокруг результата возникли споры
Объявление OpenAI прозвучало спустя примерно 12 часов после заявления Тристана Бакмастера из Нью-Йоркского университета. Вместе с Левентом Алпёге из Anthropic он сообщил о решении нескольких близких задач с использованием разных моделей искусственного интеллекта.
Обе исследовательские группы опирались на работы Диего Кордобы из Института математических наук в Мадриде и Луиса Мартинеса-Сороа из Университета CUNEF. Эти учёные предложили нестандартную стратегию анализа уравнений, заметно отличавшуюся от традиционных подходов. Именно их идеи, по мнению участников проекта, стали фундаментом для последующих вычислительных экспериментов.
Чарльз Фефферман из Принстонского университета, автор официальной формулировки задачи Навье - Стокса для Института Клэя, назвал известие впечатляющим. Однако он отдельно отметил вклад Кордобы и Мартинеса-Сороа. Бакмастер также заявил, что при подтверждении всей цепочки результатов Мартинес-Сороа может претендовать на высшее признание в математике, включая медаль Филдса.
Скептицизм специалистов объясняется не недоверием к искусственному интеллекту как таковому. Проблема в масштабе утверждения: задача тысячелетия Навье Стокса требует не демонстрации одного необычного примера, а строгого ответа на формулировку, охватывающую широкий класс начальных условий. Если была найдена сингулярность, необходимо доказать, что она действительно принадлежит допустимому решению и не возникает из-за численной ошибки, скрытого ограничения или нарушения условий задачи.
Откуда берётся сложность уравнений
Модель Навье - Стокса предполагает, что жидкость является непрерывной средой. Исследователь может мысленно уменьшать рассматриваемый объём практически до нуля и анализировать поведение потока на любом масштабе. В физическом мире такое приближение имеет предел: жидкость состоит из молекул и атомов. Тем не менее именно идеализированная непрерывная модель позволяет строить универсальные математические теории.
Уравнения учитывают вязкость - внутреннее сопротивление движению. Мёд течёт медленнее воды, поскольку его вязкость выше. Для идеализированной жидкости без вязкости применяются уравнения Эйлера. На первый взгляд добавление даже очень малого трения кажется незначительным изменением, но математически оно способно полностью преобразить динамику системы.
Поэтому вопрос о том, существует ли уравнения Навье Стокса решение во всех случаях, имеет не только теоретическое значение. Он связан с фундаментальными ограничениями математического моделирования турбулентности. Даже простые законы механики могут порождать чрезвычайно сложное поведение, когда применяются к огромному числу взаимодействующих элементов жидкости.
Как ИИ меняет математические исследования
Нынешняя история показывает, что искусственный интеллект математические задачи уже не просто вычисляет по заранее заданным формулам. Современные системы могут перебирать гипотезы, искать подходящие преобразования, анализировать огромные массивы публикаций и формировать последовательности доказательных шагов.
При этом ИИ не заменяет математиков полностью. Наиболее эффективной оказывается связка, в которой человек задаёт направление, отбирает перспективные идеи и проверяет смысл результата, а алгоритмы выполняют масштабный поиск и рутинные преобразования. Особенно заметно это в задачах, где пространство возможных вариантов слишком велико для ручного анализа.
Если заявление OpenAI выдержит проверку, оно станет важной вехой не только для исследования жидкостей, но и для всей области автоматизированного доказательства теорем. Возможно, в будущем подобные системы будут помогать находить решения для других проблем, которые десятилетиями считались недоступными. Однако окончательное признание по-прежнему будет зависеть от открытости метода, воспроизводимости вычислений и оценки независимых математиков.
Даже в случае подтверждения практические последствия не появятся мгновенно. Реальные жидкости не являются идеально непрерывными, а инженерные расчёты используют приближённые модели и численные методы. Тем не менее доказательство способно изменить фундаментальное понимание турбулентности и показать, насколько необычными могут быть последствия обычных физических законов. Именно поэтому задачи тысячелетия математика рассматривает не как соревнование за приз, а как проверку границ человеческого знания.
