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

Вчера наступила развязка триллера. OpenAI предъявила конструктивное доказательство наличия решения трёхмерных уравнений Навье-Стокса, которое при гладкой компактной внешней силе за конечное время становится сингулярным (скорость стремится к бесконечности). Это была одна из семи «задач тысячелетия» Института Клэя. Компания заявляет что работу начала 1 сентября на слухах об успехах конкурентов. Над решением работала мультиагентная система из 10000 агентов в течение 88 часов. Проверка в Lean заняла еще 27 часов.

165-страничное доказательство авторы строят как контрпример вокруг осесимметричного вихря, который начинается из состояния полного покоя. Жидкость по спирали стягивается к оси, перенося угловой момент на всё меньшие радиусы. Из-за несжимаемости жидкость не может накапливаться у оси и одновременно уходит вдоль оси вверх и вниз.

Если работа будет опубликована в рецензируемом научном журнале и получит признание в международном математическом сообществе, то через 2 года решение задачи тысячелетия будет признано официально. В гидродинамике это без преувеличения историческое событие.

Что касается спора о правах на результат, OpenAI пока твердо стоит на позиции, что её исследователи и агенты мультиагентной системы (модели) «не видели» материалов Бакмастера и Альпёге по их частным решениям до момента публикации, но в то же время не может полностью исключить, что их взаимодействие с ChatGPT опосредованно помогло улучшить модель. OpenAI настаивает, что опубликованное решение общей проблемы кардинально отличается от частных решений Бакмастера и Альпёге. В то же время одно бесспорно (и OpenAI это признает), что ученые навели ее на решение проблемы тысячелетия — титанические ресурсы были выделены именно на слухах, что решение почти найдено.