OpenAI заявила о решении задачи Навье — Стокса: почему это еще не финал, но уже перелом для математики

Задача Навье — Стокса, одна из семи знаменитых Проблем тысячелетия, могла получить первое доказательство, созданное ИИ. OpenAI опубликовала математическую работу и формализацию в Lean, созданные системой из тысяч агентов. Но официальное признание потребует лет независимой проверки.

В математике есть утверждения настолько сложные, что десятилетиями они служат границей человеческого знания. 8 сентября OpenAI заявила, что одна из таких границ, возможно, была преодолена: ее экспериментальная система искусственного интеллекта построила доказательство для знаменитой задачи существования и гладкости Навье — Стокса.

Речь идет не об очередном сложном тесте для языковой модели. Задача Навье — Стокса входит в семь Проблем тысячелетия, определенных Институтом математики Клея в 2000 году. За решение каждой предусмотрен $1 млн, а за четверть века официально закрытой стала только гипотеза Пуанкаре.

OpenAI утверждает, что ее система нашла конкретный сценарий, при котором гладкое движение трехмерной несжимаемой жидкости, описываемое уравнениями Навье — Стокса, может за конечное время образовать сингулярность — математический режим, в котором скорость перестает оставаться ограниченной.

Это не означает, что вода в реальном мире вдруг может приобрести бесконечную скорость или «взорваться» из-за отказа законов физики. Напротив: если доказательство верно, оно показывает предел самой математической модели. При определенных условиях уравнения перестают адекватно описывать физическую жидкость как непрерывную среду.

Анализ «Дейком» показывает: главная сенсация здесь даже не в том, что одна из Проблем тысячелетия могла быть решена. Гораздо важнее, кто — или что — построил доказательство. Если оно выдержит проверку, впервые одна из самых престижных математических вершин может быть взята системой ИИ, а не отдельным математиком или человеческой группой.

Уравнения Навье — Стокса описывают движение жидкостей и газов. Их используют в моделях воздушных потоков вокруг самолетов, в метеорологии, исследованиях кровотока и многих инженерных задачах. Но фундаментальный вопрос о поведении их трехмерных решений оставался открытым почти столетие.

В упрощенном виде проблема звучит так: если жидкость начинает двигаться совершенно «нормально», гарантировано ли, что это движение всегда будет оставаться математически гладким? Или внутри уравнений может возникнуть точка, где величины становятся неограниченными и классическое решение фактически разрушается?

Официальная формулировка Проблемы тысячелетия позволяет идти одним из двух путей. Можно доказать, что гладкие решения существуют всегда, или построить корректный пример их разрушения. В вариантах C и D прямо допускается гладкая внешняя сила, если она соответствует установленным условиям.

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

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

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

Но слово «если» здесь имеет огромный вес. OpenAI объявила о решении; математическое сообщество еще не объявило задачу закрытой. По состоянию на 9 сентября сайт Института Клея продолжает относить Навье — Стокса к нерешенным Проблемам тысячелетия.

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

Правила Millennium Prize намеренно устанавливают чрезвычайно высокий барьер. Институт Клея вообще не принимает решение на прямую проверку от авторов. Работа должна появиться в квалифицированном математическом издании, после публикации должно пройти как минимум два года, а доказательство должно получить общее признание международного математического сообщества.

Поэтому даже безупречное доказательство, опубликованное на этой неделе, не может завтра превратить отметку «unsolved» в «solved». В случае гипотезы Пуанкаре между препринтами Григория Перельмана 2002–2003 годов и формальным присуждением Millennium Prize в 2010-м тоже прошли годы проверок.

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

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

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

Не менее впечатляет способ, которым OpenAI, по собственному описанию, искала решение. Компания не посадила одну модель перед уравнениями с просьбой «подумать подольше». Она развернула систему параллельных агентов, разделенных на группы, которые исследовали разные подходы и могли обмениваться результатами.

Группа, которая в итоге пришла к решению Навье — Стокса, насчитывала примерно 10 тысяч агентов, работавших одновременно. Первые агенты стартовали 1 сентября, а результат был получен 5 сентября — примерно через 88 часов. Формализация и проверка в Lean заняли еще около 17 часов.

Масштаб вычислений тоже необычен даже для современного ИИ. Во время работы непосредственно над Навье — Стоксом агенты обменялись примерно 2,7 млн сообщений и сгенерировали около 130 млрд выходных токенов. Во всей серии математических экспериментов было использовано около 300 млрд токенов.

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

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

Первоначальным толчком стал другой результат. Система сначала работала над более простой родственной задачей для уравнений Эйлера — фактически версией уравнений движения жидкости без вязкости. После успеха там команда решила, что именно направление Навье — Стокса выглядит наиболее перспективным.

Вокруг параллельных исследований уже возник и спор о научном приоритете. OpenAI сообщила, что активизировала работу после слухов о результатах математиков Левента Алпьоге и Тристана Бакмастера, которые оказались связаны с другой, хотя и близкой задачей для уравнений Эйлера.

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

Этот спор может оказаться предвестником новой проблемы для науки. Когда ИИ способен поглощать огромные массивы информации и тысячами параллельных процессов развивать идеи, становится сложнее определить, где заканчивается общее обучение модели и начинается конкретный интеллектуальный вклад отдельного исследователя.

Еще более фундаментальный вопрос касается самой природы математики. Раньше доказательство великой теоремы было не только конечным результатом. Десятилетия неудачных подходов создавали новые методы, понятия и целые области. Путь к ответу часто оказывался для науки ценнее, чем сам ответ.

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

Именно здесь возникает парадокс. Формально доказанная теорема может быть абсолютно правильной и одновременно плохо понятной людям. ИИ способен найти маршрут через математический ландшафт, но человеческой науке еще предстоит объяснить, почему этот маршрут работает, какие идеи в нем универсальны и куда они ведут дальше.

До этого момента крупные результаты ИИ в математике часто можно было описать как очень сильное продолжение человеческих идей. Система находила более короткое доказательство, объединяла известные техники или продвигала границу ранее полученного результата. Задача Навье — Стокса, если доказательство устоит, изменит масштаб сравнения.

Тогда вопрос перестанет звучать как «может ли ИИ помогать выдающимся математикам?». Он станет гораздо неудобнее: может ли система сама производить результаты исторического уровня быстрее, чем человеческая математическая культура успевает их проверять, понимать и включать в собственную систему знаний?

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

Поэтому сегодня корректно говорить не «ИИ решил задачу Навье — Стокса» как о завершенном историческом факте, а «OpenAI опубликовала претендента на ее решение». Институт Клея пока оставляет проблему в списке открытых, а правила премии предусматривают годы до возможного формального признания.

Но даже этот осторожный статус не делает событие менее значительным. Тысячи агентов уже смогли создать математический объект, достаточно серьезный для того, чтобы одна из старейших открытых проблем анализа оказалась в центре немедленной глобальной проверки.

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

Она запомнит момент, когда вопрос о роли искусственного интеллекта в науке изменился.

Не «может ли машина помочь нам найти доказательство», а «что будут делать математики, когда доказательства начнут находить машины».