ИИ решил уравнения Навье-Стокса: задача тысячелетия покорилась OpenAI

Речь об уравнениях Навье-Стокса — формулах XIX века, которыми мы описываем движение воды, воздуха и вообще жидкостей и газов.

Её главный вопрос: если начать с совершенно нормального потока, всегда ли уравнения будут выдавать нормальное решение? Или где-то за конечное время скорость может математически «взорваться» до бесконечности?

Больше 200 лет никто не знал.

OpenAI объявила о решении уравнений Навье-Стокса

Сегодня OpenAI заявила, что её внутренняя модель нашла доказательство такого «взрыва» в трёх измерениях.

Если всё подтвердится, это будет вторая решённая проблема тысячелетия (с премией в $1 млн) после гипотезы Пуанкаре, решенной Перельманом 20 лет назад.

Форсинг: законная лазейка в задаче с уравнениями Навье-Стокса

Но есть небольшой подвох.

В доказательстве используется так называемый форсинг (forcing, внешняя сила, действующая на жидкость). В популярной версии задачи обычно спрашивают о жидкости, предоставленной самой себе. Однако в официальной формулировке Института Клея есть варианты, где forcing разрешён.

То есть это одновременно и «лазейка», и совершенно легальное решение задачи в том виде, в каком за неё обещали миллион долларов. Ждём подробностей.

ИИ, скандал и борьба за авторство

И как часто теперь бывает с ИИ, не обошлось без скандала. Всё-таки, IPO само себя не сделает.

Ключевую идею решения предложили математики Диего Кордоба и Луис Мартинес-Сороа. Тристан Бакмастер и Левент Альпёге (сотрудник Anthropic, тот самый кто во время финала ЧМ опроверг с ИИ гипотезу Якоби) с помощью моделей Anthropic довели её до доказательства для уравнений Эйлера.

По словам Бакмастера, слухи о методе дошли до OpenAI, и там за выходные внутренняя модель добила полную задачу. Затем ему якобы предложили единоличное авторство при условии исключения Альпёге. А на угрозу обратиться к прессе ответили в духе «зачем вам ломать карьеру».

OpenAI пока не комментирует. Открытым остаётся и вопрос, не обучалась ли модель на промптах самих исследователей.

Новый Deep Blue: что победа ИИ над уравнениями Навье-Стокса значит для науки

Все уже сравнивают момент с победой Deep Blue над Каспаровым в шахматах.

В общем, ждём подробностей, следим за гонкой IPO и ставим напоминание на 25 декабря про «Искуственный».

t.me/vitalmath