Есть математические задачи, которые не поддаются даже поколениям ученых. Их невозможно решить простым подбором формулы или огромным количеством вычислений: требуется найти принципиально новую идею. Одной из таких проблем почти четверть века остается вопрос о поведении уравнений Навье–Стокса.
Теперь OpenAI заявила о результате, который способен изменить представление о возможностях искусственного интеллекта в науке. Внутренняя система компании, состоящая из тысяч взаимодействующих ИИ-агентов, смогла построить доказательство существования сингулярности для уравнений Навье–Стокса.
Если результат выдержит независимую проверку математического сообщества, речь будет идти не просто об очередном успехе нейросетей. Фактически искусственный интеллект впервые окажется непосредственно вовлечен в решение одной из фундаментальных математических проблем современности.
Загадка, от которой зависит понимание движения жидкостей
Уравнения Навье–Стокса могут показаться чем-то далеким от повседневной жизни. На самом деле они описывают движение жидкостей и газов и используются в огромном количестве научных и инженерных задач.
С их помощью моделируют воздушные потоки вокруг самолетов, движение воды, атмосферные процессы, поведение океанов и многие биологические системы, включая кровоток. Но несмотря на практическую значимость этих уравнений, математики до сих пор не знают полного ответа на один принципиальный вопрос.
Если задать нормальное начальное состояние жидкости или газа, гарантирует ли математическая система, что ее решение всегда останется гладким и конечным? Или существует сценарий, при котором за конечное время внутри системы возникает точка с неограниченными значениями?
Именно эту проблему Математический институт Клея включил в список семи «Задач тысячелетия» в 2000 году. За решение каждой из них назначена премия в один миллион долларов.
До нынешнего заявления OpenAI лишь одна задача из этого списка считалась решенной — гипотеза Пуанкаре, доказанная Григорием Перельманом в 2003 году.
Вместо одного ИИ — целая армия агентов
Особенность эксперимента OpenAI заключается не только в полученном результате, но и в масштабе работы.
Компания запустила исследование 1 сентября после появления информации о том, что специалисты Anthropic могли приблизиться к решению нескольких сложнейших математических проблем. В OpenAI решили направить новую внутреннюю систему сразу на все открытые «Задачи тысячелетия», а также на ряд других сложных математических вопросов.
Система работала как коллектив из множества специализированных агентов. Они могли выполнять код, использовать доступную информационную базу и обмениваться результатами внутри групп.
Самая крупная команда, занимавшаяся Навье–Стоксом, насчитывала около 10 тысяч агентов, работавших одновременно.
Исследователи намеренно разделили поиск на противоположные направления. Одни группы пытались найти доказательство существования гладких решений. Другие искали обратный сценарий — математическую конструкцию, которая приводила бы к сингулярности.
В итоге сработал именно второй путь.
Неожиданная подсказка появилась раньше
Путь к главному результату начался с другой задачи.
Небольшая группа примерно из 100 агентов около 50 часов исследовала связанные с Навье–Стоксом уравнения Эйлера. В них отсутствует член, отвечающий за вязкость, поэтому такая система позволяет изучать более простой вариант поведения жидкости.
ИИ неожиданно получил результат, указывающий на возникновение сингулярности в определенной постановке задачи.
Для исследователей это стало своеобразной подсказкой. Полученный материал передали следующим группам агентов, после чего основные вычислительные мощности были сосредоточены уже на уравнениях Навье–Стокса.
В этот момент эксперимент превратился в настоящую математическую гонку.
В центре решения оказался необычный вихрь
Согласно описанию OpenAI, ключевым элементом найденной конструкции стал вихрь — вращающийся поток, который закручивается внутрь и одновременно вытягивается.
Условно его можно представить как спираль, которую постепенно растягивают в длину. Центральная область такого потока становится все уже, а движение внутри нее — все быстрее.
Самое важное происходит на предельной стадии. Скорость математически возрастает без ограничения, хотя система достигает этого состояния за конечное время.
Так возникает сингулярность — точка, в которой обычное гладкое описание решения перестает работать.
Но создать подобную конструкцию было недостаточно. Требовалось показать, что она возникает благодаря самой динамике уравнений, а не из-за искусственного воздействия внешней силы бесконечной величины.
Именно эта часть стала одной из главных технических сложностей.
Члены уравнений, связанные с ускорением, давлением, переносом импульса и вязкостью, должны были вести себя таким образом, чтобы необходимые величины становились неограниченными, но при этом математическая конструкция оставалась согласованной.
От идеи до компьютерной проверки — меньше пяти суток
Финальный результат, по данным OpenAI, был получен 5 сентября — примерно через 88 часов после запуска первых агентов.
Однако на этом работа не закончилась. Еще около 17 часов потребовалось на формализацию доказательства в Lean — системе, предназначенной для строгой компьютерной проверки математических утверждений.
После этого результат дополнительно проверяла другая модель.
Таким образом, система не просто выдала текст, который внешне выглядел как математическое доказательство. Полученную конструкцию попытались перевести в формальный язык, где логические переходы можно проверять значительно строже.
При этом OpenAI пока не утверждает, что проблема окончательно закрыта.
И это принципиальный момент.
Любое столь масштабное заявление должно пройти независимую экспертизу. Математикам предстоит внимательно изучить доказательство, проверить его предпосылки и убедиться, что найденная конструкция действительно отвечает условиям исходной «Задачи тысячелетия».
Компания также заявила, что не собирается требовать миллионную премию за результат.
Цена математического прорыва оказалась огромной
За столь впечатляющим результатом стоят колоссальные вычислительные ресурсы.
OpenAI оценивает затраты на решение задачи в несколько миллионов долларов. Это как минимум в тысячу раз больше вычислительных ресурсов, которые компания ранее тратила на некоторые математические задачи стоимостью около двух тысяч долларов каждая.
Всего в работе над «Задачами тысячелетия» и связанными проблемами ИИ-агенты отправили около 4,9 миллиона сообщений и сгенерировали примерно 300 миллиардов токенов.
На саму задачу Навье–Стокса пришлось около 2,7 миллиона сообщений и 130 миллиардов токенов.
Эти цифры показывают важную вещь: математический прорыв оказался результатом не мгновенного озарения машины, а гигантского процесса перебора, взаимодействия, проверки и повторного анализа.
Anthropic тоже приблизилась к математическому рубежу
Особенно примечательно, что практически одновременно с заявлением OpenAI появились новости о другом серьезном успехе.
Профессор Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Альпьоге сообщили о трех доказательствах, формализованных в Lean. Их работа касалась уравнения пористой среды, системы Буссинеска и уравнений Эйлера с гладкой внешней силой.
По словам Бакмастера, он и Альпьоге больше года практически не могли добиться существенного прогресса. Ситуация резко изменилась в середине августа, когда к работе подключили современные модели искусственного интеллекта.
Бакмастер сравнил происходящее с историческим противостоянием Deep Blue и Гарри Каспарова — моментом, когда компьютер впервые убедительно продемонстрировал способность конкурировать с человеком в интеллектуальной области, считавшейся исключительно человеческой.
Теперь похожий переломный момент может наступать уже в математике.
Начало новой научной эпохи?
Пожалуй, главный вопрос заключается даже не в том, окажется ли конкретное доказательство OpenAI безупречным.
Гораздо важнее другое: искусственный интеллект начинает переходить от решения известных задач к поиску новых математических идей.
Если раньше ИИ в основном использовали для вычислений, проверки формул или помощи исследователю, то теперь системы способны самостоятельно генерировать гипотезы, распределять направления поиска между агентами, критиковать промежуточные результаты и формировать доказательства.
Это меняет саму роль машины в научном процессе.
Человек по-прежнему задает цели, формулирует проблемы и оценивает значение результата. Но пространство поиска становится настолько огромным, что ИИ способен исследовать его с масштабом, недоступным отдельному ученому или даже большой человеческой команде.
Возможно, именно поэтому история с Навье–Стоксом окажется важнее самого уравнения. Она показывает, что искусственный интеллект постепенно превращается из инструмента для выполнения поручений в самостоятельного участника научного поиска.
И если независимые математики подтвердят результат OpenAI, дата 5 сентября 2026 года может войти в историю не только как день очередного достижения ИИ, но и как один из первых моментов, когда машина помогла человечеству приблизиться к разгадке математической тайны, которая десятилетиями считалась практически недосягаемой.
