Конфликт OpenAI и математиков вокруг решения уравнений Навье — Стокса¶
5.0/10
Видео Fireship освещает конфликт между академическими исследователями и OpenAI вокруг заявленного прорыва в решении уравнений Навье — Стокса, входящих в число задач тысячелетия с премией в $1 млн. Профессор НЮУ Тристан Бакмастер и математик из Anthropic Левант Альпиге использовали инструменты Claude Code и Codex для доказательства несостоятельности упрощенных уравнений Эйлера. По данным Бакмастера, OpenAI после слухов об их успехах задействовала рой из 10 000 ИИ-агентов и вычисления на $20 млн, заявив о взломе Навье — Стокса аналогичным методом. Разногласия обострились после звонка с исследователем OpenAI Себастьяном Бубеком, затронувшего вопросы возможного обучения моделей на приватных сессиях Codex. В ответ на инцидент математик Теренс Тао предупредил, что попытки ИИ-лабораторий перехватывать чужие научные результаты могут разрушить традицию открытого научного сотрудничества.
Контекст¶
Уравнения Навье — Стокса, разработанные в XIX веке, фундаментально описывают движение жидкостей и газов, однако вопрос о гладкости их решений долгое время оставался доказательно нерешенным. В 2000 году Математический институт Клэя включил проблему существования и гладкости решений этих уравнений в число семи «задач тысячелетия» с премией в один миллион долларов. В сентябре 2026 года вокруг применения ИИ-моделей к этой задаче разгорелся публичный спор о приоритете между академическими учеными и лабораторией OpenAI.
Последствия для сообщества¶
Практика автоматизированного перехвата академических гипотез с помощью масштабных вычислительных мощностей ИИ-компаний угрожает тем, что ученые прекратят публично делиться промежуточными научными результатами.
Детали исследования и спора¶
Математическая задача тысячелетия от Clay Mathematics Institute требует доказать гладкость решений уравнений Навье — Стокса или привести случай, когда они ломаются. 15 августа Бакмастер и Альпиге добились математического прорыва, опровергнув уравнения Эйлера с помощью вычислений через Codex. В конце августа OpenAI одновременно задала все нерешенные задачи тысячелетия своей модели, потратив $20 млн на 10 000 агентов для поиска контрпримера к Навье — Стоксу. Во время созвона с Себастьяном Бубеком Бакмастер пытался выяснить, обучалась ли модель OpenAI на его сессиях Codex, но не получил прямого ответа и отклонил варианты компромиссных публикаций. Во вторник обе стороны опубликовали свои научные работы и публичные заявления, при этом OpenAI заявила об отсутствии доступа к пользовательским данным и существенном различии двух полученных доказательств.