Open AI и задача тысячелетия: почему доказательство по уравнениям Навье — Стокса вызывает споры

Миллион долларов, турбулентность и нейросеть

Представьте задачу, над которой больше полувека бьются лучшие математики планеты. И вот языковая модель выдаёт текст, который формально претендует на премию тысячелетия — миллион долларов от Института Клэя. Звучит как начало фантастического романа. А теперь вопрос на миллион: если решение досталось машине, которая, возможно, решала совсем другую задачу, — это победа или подмена?

Именно об этом размышляет Scientific American в материале Did Open AI solve the wrong Navier–Stokes problem?. Суть спора коротка: доказательство вроде бы укладывается в условия премии, но укладывается через лазейку, которая многих математиков откровенно раздражает.

Так в чём, собственно, задача

Уравнения Навье — Стокса описывают движение вязкой жидкости и газа. Вода в реке, воздух над крылом самолёта, кровь в сосудах, погода над континентом — всё это они. Формулы известны с XIX века, и инженеры пользуются ими каждый день. Но есть нюанс.

Никто не доказал, что в трёхмерном пространстве у этих уравнений всегда существуют гладкие решения, которые не «взрываются» за конечное время. То есть считать математики умеют, а строго гарантировать, что расчёты вообще имеют смысл на больших временах, — нет. Институт Клэя в 2000 году включил эту проблему в список семи задач тысячелетия: за полное решение обещан миллион долларов.

Из семи задач закрыта пока одна — гипотеза Пуанкаре, и та усилиями Григория Перельмана, который от премии отказался. Остальные шесть ждут своего часа. И вот на сцену выходит Open AI.

Что именно предложила модель

По данным Scientific American, речь идёт не о прямом доказательстве гладкости решений и не о контрпримере со «взрывом». Модель выстроила рассуждение, которое приводит к другому выводу: задача неразрешима в рамках стандартной аксиоматики — той самой, на которой стоит почти вся современная математика.

Звучит солидно. Но давайте переведём это на человеческий язык.

• Утверждение «решения всегда гладкие» — доказать нельзя.
• Утверждение «существует решение, которое взрывается» — тоже нельзя.
• Значит, вопрос упирается не в физику, а в наши аксиомы. Внутри них готового ответа просто нет.

Математикам такая ситуация не в новинку. Континуум-гипотезу ещё в 1960-х показали независимой от стандартной теории множеств. Это честный и признанный результат — только он отвечает не на вопрос «сколько там чисел», а на вопрос «что вообще можно доказать имеющимися инструментами».

Подписывайтесь, чтобы не пропустить новое:
📰 Канал в Дзен
💬 Канал в MAX

Лазейка, из-за которой всё и спорят

Вот тут начинается самое интересное. Условия премии тысячелетия сформулированы так, что формально доказательство независимости может под них подойти. А подойдёт ли оно по духу?

Скептики говорят: это как ответить на вопрос «кто победит в матче» фразой «правила игры не позволяют это выяснить». Формально — да, а по сути вы так и не узнали, забьют гол или нет. Инженер, который считает обтекание крыла, не станет счастливее от того, что его формулы неразрешимы в стандартной системе аксиом. Ему нужно число, а не философский тупик.

Сторонники возражают: независимость — тоже результат, причём глубокий. Он говорит, что задача поставлена неполно и требует других аксиом либо другой формулировки. В науке такие повороты случались не раз и меняли целые области.

А вы на чьей стороне — тех, кто считает такой ответ решением, или тех, кто видит в нём уход от ответа?

И при чём тут вообще ИИ

Второй слой спора — не математический, а методологический. Если доказательство породила модель, кто автор? Как его проверять? Хватит ли рецензентов в журнале, чтобы вручную пройти по сотням шагов рассуждения?

Сейчас в математике набирает силу формальная верификация: доказательство переписывают на языке вроде Lean, и компьютер проверяет каждый шаг. Это спасает от ошибок, но не объясняет, почему результат верен, и не заменяет понимание. Плюс остаётся вопрос устойчивости: воспроизведётся ли вывод при другой формулировке запроса или это удачное совпадение?

И тут мы упираемся в главное: считаем ли мы математическим открытием текст, который никто не может полностью осмыслить, но который формально проверяем? Как вам такой поворот?

Почему это важно за пределами башни из слоновой кости

Турбулентность — не абстракция из учебника. От неё зависят авиация, нефтедобыча, прогноз погоды и климатические модели. Если окажется, что строгие гарантии для уравнений Навье — Стокса принципиально недостижимы нашими средствами, это не отменит ни рейсы, ни прогнозы. Зато честно обозначит границу: где заканчивается доказанное и начинается пусть надёжная, но всё-таки интуиция.

Есть и второй сюжет. История с миллионом долларов — тест не столько для Open AI, сколько для всего математического сообщества. Как оно отреагирует на результат, полученный не человеком? Признает по правилам? Найдёт повод отказать? Придумает новые правила? От ответа зависит, как будут выглядеть следующие десять лет.

Так всё-таки не та задача?

Скорее так: модель, похоже, ответила на вопрос о пределах доказуемости, а все ждали ответа о поведении жидкости. Оба вопроса законные и оба интересные — просто это не одно и то же. И если Институт Клэя однажды скажет своё слово, оно будет не только про математику, а про то, как мы договариваемся называть вещи своими именами.

А что вы думаете по этому поводу? Поделитесь своим мнением в комментариях!

Подписывайтесь, чтобы не пропустить новое:
📰 Канал в Дзен
💬 Канал в MAX

💛 Если статья оказалась полезной, вы можете поддержать автора донатом — это помогает выпускать новые материалы.

Материал подготовлен на основе информации из открытых источников. Все права на исходные материалы принадлежат их авторам. Если вы являетесь правообладателем и возражаете против использования, свяжитесь с нами по адресу info@11st.press.