ИИ против уравнений XIX века: нейросеть за 88 часов перевернула физику жидкостей

Американская корпорация OpenAI заявила о прорыве, который может изменить ландшафт фундаментальной науки. Их внутренняя система искусственного интеллекта успешно справилась с одной из семи нерешенных математических проблем, известных как «задачи тысячелетия». Речь идет об уравнениях Навье-Стокса, описывающих поведение жидкостей и газов. В западной прессе это событие уже окрестили обретением «святого Грааля» от мира математики.

Суть многолетней головоломки, сформулированной еще в первой половине XIX века, заключалась в двойственном вопросе: насколько точно эти уравнения отражают физическую реальность и существует ли всегда их гладкое решение в трехмерном пространстве. Доктор физико-математических наук Александр Гасников отметил, что данная проблема стояла на третьем месте по значимости среди себе подобных, уступая лишь вопросу о равенстве классов P и NP и гипотезе Римана. Ученый пояснил, что исследователи долгое время двигались к построению отрицательного ответа - контрпримера, который бы показал ограниченность этих уравнений. Именно эту работу и довел до конца искусственный интеллект, используя подсказки и наработки людей, что породило активную дискуссию о распределении заслуг.

Представители научного сообщества уточнили: нейросеть решила не само уравнение в бытовом понимании, а именно проблему его корректности. Если представить стакан с кофе и начать его закручивать, в жидкости может возникнуть сингулярность (водоворот), где скорость неограниченно возрастает, что в реальности невозможно. Это доказывает, что классическая модель не охватывает все режимы течения. Фундамент для такого ответа закладывался еще советским математиком Ольгой Ладыженской, а идея конструкции была придумана еще в 2013 году, однако именно ИИ позволил за неделю перебрать все комбинации и собрать готовое доказательство, которое в итоге заняло миллионы строк формального кода.

Для достижения результата инженеры OpenAI задействовали около десяти тысяч автономных агентов, мощность которых превосходит возможности GPT-6 Astra. Эти агенты были разделены на группы: одни искали подтверждение теоремы, другие опровержение, обмениваясь между собой сообщениями.

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

Всего за время работы агенты отправили друг другу почти 5 миллионов сообщений, обработав сотни миллиардов токенов.

Эксперты сходятся во мнении, что этот случай знаменует коренной сдвиг в научной парадигме. Профессор НИУ ВШЭ Юлий Ильяшенко сравнил прогресс ИИ с переходом от уровня сильного школьника до статуса претендента на превосходство над лучшими умами планеты. Однако не все видят в этом только благо. Известный математик Теренс Тао выразил опасение, что автоматизация решения сложнейших задач лишает ученых важнейшего этапа обучения - самого процесса поиска, который приносит новые знания и «прокачивает мышление», подобно тренировкам в спортзале.