OpenAI пригрозила математику «разрушить карьеру» из-за спора о задаче тысячелетия Навье-Стокса
Тристан Бакмастер заявил, что вице-президент компании требовал исключить из соавторов сотрудника Anthropic в обмен на право единолично опубликовать доказательство, полученное моделью OpenAI. Уравнения Навье-Стокса описывают движение жидкостей и газов и входят в список 7 задач тысячелетия Института Клэя.
«Зачем тебе разрушать свою карьеру?» и «Если не хочешь, чтобы я был милым, мне не обязательно быть милым», — ответил Бюбек на отказ Бакмастера и его слова, что в случае односторонней публикации он обнародует историю.
Бакмастер из Принстона и Левент Алпёге из Гарварда 6 сентября 2025 года опубликовали три препринта. В них с помощью больших языковых моделей они довели рассуждения Кордобы и Мартинеса-Зороа до доказательства для некоторых уравнений. Формальная проверка в системе Lean ещё не была завершена. Вся работа велась как личное сотрудничество двух математиков, без участия их работодателей, с использованием нескольких LLM: Claude от Anthropic, Codex, GPT-5.6 Sol и Astra от OpenAI. Бакмастер подчёркивает, что первая версия доказательства, сгенерированная моделью, была «самой ужасной» из всех, что он видел, и потребовала проверки в Lean, завершившейся 22 августа. Публикация вышла в сыром виде, близком к выводу моделей, потому что ускорить процесс заставила утечка: слухи о решении крупной открытой проблемы дошли до OpenAI, и 3 сентября Бакмастер сам написал туда письмо, чтобы прояснить ситуацию.
6 сентября состоялся звонок с вице-президентом OpenAI по исследованиям Себастьеном Бюбеком. На нём Бюбек сообщил, что внутренняя модель компании получила доказательство для уравнений Навье-Стокса с гладкой силой. Доказательство объёмом около 100 страниц Бакмастер не видел, и независимой проверки оно не проходило. В ходе разговора выяснилось, что над проектом работала целая команда, а первый запрос модели был отправлен уже после того, как информация о результатах Бакмастера и Алпёге достигла OpenAI. На прямой вопрос, обучалась ли модель на черновиках, которые математики загружали в Codex, Бакмастер ответа не получил.
Бюбек предложил два сценария: либо Бакмастер и Алпёге публикуют свой результат по Эйлеру, а OpenAI на следующий день выкладывает свой — по Навье-Стоксу, либо Бакмастер один пишет статью, представляя достижение модели OpenAI, а Алпёге исключается. Бюбек дважды подчеркнул, что «было бы проще», если бы Алпёге не работал в Anthropic. Позже Алпёге получил сообщение с предложением поговорить один на один, где Бюбек выразил сомнение в «рациональности» Бакмастера.
На момент открытого письма Бакмастера доказательство OpenAI не было опубликовано, задача по-прежнему числится нерешённой на сайте Института Клэя, а результат с внешней силой, даже будучи верным, не закрывает проблему полностью. Бакмастер назвал случившееся «моментом Deep Blue — Каспаров» для математики и выразил сожаление, что публикации пришлось выкладывать в неотполированном виде из-за спешки.
Подписывайтесь на наш Telegram-канал, чтобы быть в курсе всех новостей и событий Рунета.
