В мире фундаментальной науки произошло событие, которое уже окрестили поиском «святого Грааля». Американская компания OpenAI объявила о прорыве: их внутренняя нейросетевая модель нашла решение уравнений Навье — Стокса. Это одна из семи знаменитых «задач тысячелетия», за решение которых Математический институт Клэя обещает награду в один миллион долларов. Издание Wall Street Journal не скрывает восторга, сравнивая этот успех с величайшим открытием в математике.
Суть проблемы кроется в физике движения жидкостей и газов. Сами уравнения известны ученым еще с XIX столетия, и человечество давно научило использовать их для описания потоков воздуха или воды. Однако, как пояснил РБК ректор университета Иннополис, профессор Александр Гасников, главный вопрос всегда стоял в ином: насколько эти формулы адекватны реальности и можно ли гарантировать их математическую корректность. Исследователи долго пытались найти «контрпример» — ситуацию, где классическая логика уравнений дает сбой.
Математический институт Клэя представил список этих сложнейших проблем в мае 2000 года в Париже. С тех пор человечество смогло справиться лишь с одной из них — гипотезой Пуанкаре, которую доказал российский гений Григорий Перельман (от премии, к слову, он отказался). В списке остались такие гиганты, как гипотеза Римана или вопрос о равенстве классов P и NP. Теперь же ИИ вмешался в игру, фактически завершив работу, на которую у людей ушли бы десятилетия.
По мнению экспертов, OpenAI не просто решила уравнение, а нашла ответ на фундаментальный вопрос о его применимости. Иван Оселедец, возглавляющий Институт AIRI, уточнил, что ИИ разобрался с проблемой корректности системы. Это критически важно, ведь на подобных расчетах строится проектирование самолетов и защита береговых линий. Оселедец привел пример: если закрутить кофе в стакане, может возникнуть вихрь (сингулярность), при котором математическая модель предсказывает бесконечный разлет жидкости, что в жизни невозможно. ИИ доказал, что в динамике уравнений Навье — Стокса такие «взрывы» возможны, что ставит под сомнение универсальность старых моделей.
Техническая сторона триумфа поражает масштабами. В процессе участвовали 10 тысяч автономных ИИ-агентов, чьи возможности превосходят известные модели уровня GPT-6 Astra. За 88 часов непрерывной работы, обмениваясь почти пятью миллионами сообщений и переработав около 300 миллиардов токенов, система собрала решение из разрозненных фрагментов знаний. Еще 17 часов ушло на формальную проверку через язык программирования Lean, чтобы исключить малейшую ошибку в логике.
Однако этот успех вызывает не только восхищение, но и тревогу. Профессор ВШЭ Юлий Ильяшенко отмечает, что ИИ уже претендует на место лучших математиков мира. А вот знаменитый математик Теренс Тао предупреждает о скрытой угрории: если машины будут решать задачи без участия человека, сама суть науки может обесцениться. По его сравнению, это похоже на поход в спортзал, где вместо того, чтобы тренироваться, вы просто наняли робота, поднимающего штангу за вас. Мы получим результат, но не получим знаний.
Среди ученых звучат и более радикальные прогнозы. Николай Андреев из Института им. Стеклова полагает, что «математики среднего звена» могут оказаться не у дел. В эпоху, когда ИИ может генерировать статьи и решения, в науке останутся только «самые великие», способные формулировать принципиально новые идеи.
Не обошлось и без скандала. Перед объявлением OpenAI на горизонте появились исследователи из Нью-Йоркского университета и Anthropic, которые также представили результаты по этой теме. В OpenAI заявили, что лишь узнали о чужих успехах и пытались синхронизировать свои публикации, отрицая использование чужих данных. Хотя прямых доказательств краж нет, споры о том, не «подсмотрел» ли ИИ идеи в неопубликованных черновиках, уже разгораются.
Тем не менее, неоспоримо одно: границы возможного в науке сдвинулись. Как говорит Александр Гасников, сегодня успех ученого напрямую зависит от его умения распоряжаться мощью ИИ. И если в будущем это приведет к прорывам в термоядерном синтезе или других стратегических областях, то вопрос о «справедливости» решения задач отойдет на второй план перед лицом новых технологических возможностей.
