Навье — Стокс: кто на самом деле взломал задачу на миллион

🧩 Загадка: Какие уравнения почти двести лет помогают предсказывать ураганы и проектировать крылья самолётов, хотя математики до сих пор не уверены, что они не могут «сломаться»? Ответ — в конце статьи.

Представьте задачу, которую придумали в середине XIX века, оценили в миллион долларов и за двести лет так никто и не решил. А теперь представьте, что к ней почти одновременно подошли два математика с ИИ-помощниками и целая армия из 10 000 ИИ-агентов, причём одной и той же дорогой. История вокруг уравнений Навье — Стокса превратилась в настоящий научный детектив, и от его развязки зависит, как будет устроена наука в эпоху искусственного интеллекта.

Читайте также: Как укладывается ДНК в органах эмбриона: новая 3D-карта

Почему вода оказалась сложнее миллиона долларов?

В XIX веке французский инженер Клод-Луи Навье записал уравнения движения жидкости. Спустя пару десятилетий ирландский математик Джордж Стокс их исправил. По сути, это второй закон Ньютона, «сила равна массе на ускорение», только для воды. Даёте уравнениям скорость и давление жидкости сейчас и узнаёте, как она сдвинется в следующее мгновение.

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

Как два человека и два ИИ-помощника подобрались к финишу

Одним из немногих, кто всерьёз взялся за задачу, стал Тристан Бакмастер, профессор Нью-Йоркского университета. В 2019 году он получил исследовательскую премию Клэя как раз за работу над этими уравнениями. В прошлом году к нему присоединился Левент Альпёге, математик из Anthropic, который в свободное время занимается гидродинамикой.

Продвигались они медленно, пока в середине августа не начали активно подключать Claude Code и Codex. Дело пошло быстрее. Их подход был новым и рискованным, но 15 августа он сработал: уравнения Эйлера, упрощённая версия Навье — Стокса, «сломались». Это ещё не миллион, но ближе к цели прежде не подбирался никто. А затем в историю вошёл новый игрок.

10 000 агентов и один телефонный звонок

В конце августа OpenAI обучала новую модель и решила дать ей сразу все нерешённые задачи тысячелетия. После работы 10 000 агентов и вычислений примерно на 20 миллионов долларов компания заявила, что взломала Навье — Стокса. Метод совпал с тем, который Бакмастер и Альпёге год развивали и в том числе прогоняли через Codex.

3 сентября Бакмастер написал в OpenAI, а в воскресенье созвонился с Себастьеном Бубеком, руководителем проекта. Версия Бакмастера такова. Сначала ему сказали, что модель получила лишь условие задачи. Потом выяснилось, что над ней работала вся команда, промпт написал Codex, а начали всего за несколько дней до этого, услышав слухи о его исследовании. На вопрос, не обучали ли модель на его сессиях в Codex, ответили лишь, что пользовательские данные не просматривались. Прямого ответа про обучение он не получил.

Дальше, по словам Бакмастера, ему предложили два варианта. Либо они с Альпёге публикуют работу по Эйлеру, а OpenAI выпускает доказательство Навье — Стокса и упоминает его как того, кто подошёл ближе всех. Либо он сам пишет статью о Навье — Стоксе, но без Альпёге, потому что тот работает в Anthropic. Бакмастер отказался от обоих вариантов и пригрозил всё обнародовать. По его словам, Бубек спросил, зачем ему губить карьеру. В OpenAI говорят иное: исключать Альпёге никто не требовал, а Сэм Альтман уверен, что его команда вела себя честно и угрожал только Бакмастер.

Две статьи в один день

Во вторник утром Бакмастер и Альпёге выложили свои работы и четырёхстраничное заявление о том, как всё было. Днём OpenAI опубликовала собственное решение и пост: доступа к данным пользователей не было, а доказательства существенно различаются. Вскоре пошли слухи, что компания близка к проверке ещё одной задачи тысячелетия.

Это похоже на поиск клада. Вы год копаете лопатой в одном месте, соседи слышат об этом и приезжают туда же на экскаваторе. Кто нашёл сокровище: тот, кто выбрал место, или тот, кто быстрее копал?

Что это значит для нас

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

Практический вывод касается всех, кто работает с ИИ-инструментами над чем-то ценным. Читайте условия сервиса, особенно пункты о том, как используются ваши сессии. Фиксируйте даты и ход своей работы, ведь вопрос авторства может всплыть неожиданно. И держите в голове, что вычислительная мощь теперь способна превратить чужую идею в гонку за несколько дней.

Больше историй о том, как технологии меняют науку и работу, ищите в наших статьях.

Ещё в «Высоких технологиях»

Рой ИИ сбежал из песочницы: почему 2027 год пугает учёныхПочему в чёрном небе космоса астронавты не видят звёздСменили язык — сменился характер: что тест выявил у нейросетей

Все материалы раздела →