Великая загадка физики под угрозой: математические гении уличили корпорацию в подлоге

Заявление OpenAI о том, что их новая ИИ-модель решила проблему уравнений Навье — Стокса, превратилось из технологического триумфа в профессиональный конфликт. Математики Тристан Бакмастер и Левен Альпёге обвинили компанию в заимствовании идей, что переводит дискуссию из плоскости "могут ли нейросети заниматься наукой" в плоскость этики и методологии доказательств.

Центральная сложность задачи Навье — Стокса заключается в противоречии между предсказуемостью малых объемов среды и хаосом турбулентности. Уравнения, описывающие движение жидкости или газа, по сути являются вторым законом Ньютона для непрерывной среды. Однако в них присутствует конвективный член u x ∇u: скорость жидкости влияет на изменение самой этой скорости. Эта нелинейность делает невозможным прямое решение уравнений и порождает главный вопрос "Задачи тысячелетия" — возникнет ли в какой-то момент сингулярность.

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

История попыток решить эту задачу показывает, что путь к ответу лежит через постепенное сужение области неопределенности, а не через разовый "инсайт":

• Ограничение масштаба ошибок: В 1970-х и 1980-х Витторио Шеффер, Луис Каффарелли, Роберт Кон и Луис Ниренберг доказали "частичную регулярность". Они установили, что даже если особенности существуют, их множество слишком мало, чтобы содержать в себе кривую.
• Поиск границ метода: В 2016 году Теренс Тао создал упрощенную модель уравнения, в которой решение "взрывается". Это позволило понять, что любой метод, не видящий разницы между реальным уравнением и моделью Тао, не сможет привести к верному ответу.
• Работа с "неточностью": В 2019 году Тристан Бакмастер и Влад Викол исследовали "слабые" решения (выполняющиеся в среднем, а не в каждой точке). Они доказали, что такие решения не единственны: одна и та же начальная точка может привести к разным сценариям развития потока.

Разрыв между этими частичными успехами и окончательным доказательством настолько велик, что любые претензии на мгновенное решение со стороны ИИ вызывают скепсис. Прецеденты с Пенелопой Смит (2006) и Мухтарбаем Отелбаевым (2014) подтверждают: в этой области ошибки обнаруживаются быстро, а требования к строгости доказательства исключают возможность "интуитивного" или вероятностного ответа, который обычно выдают нейросети.

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