8 сентября 2026 г.
Задачи тысячелетия берут наперегонки: OpenAI взялась за Навье — Стокса из-за слухов про Anthropic
Модель OpenAI выдала доказательство по уравнениям Навье — Стокса за 88 часов, но саму задачу тысячелетия это не закрыло.
Sam Altman
@sama
Большую часть выходных я провёл в разговорах с командой, которая сделала эту работу. Себ и все остальные с самого начала вели себя порядочно и щедро. Сначала мы думали, что вторая команда тоже решила задачу. Мы хотели поработать вместе и выпустить всё совместно. Когда мы узнали, что у них есть Эйлер, но нет Навье — Стокса, мы предложили им опубликоваться первыми, сказали, что приз должен достаться им, и предложили Тристану, если он захочет, стать ведущим автором переписанного доказательства OpenAI. Предложить то же самое Левенту (сотруднику Anthropic) нам было сложно: он в любом случае не хотел ни говорить с нами, ни что-либо согласовывать. Мы были открыты и к другим вариантам. Мы бы очень предпочли договориться. Мы не спешили с публикацией, хотя вторая команда с нами не общалась. Команда угрожала нам необоснованными обвинениями в плагиате. Теперь, когда мы видим их работу, подходы выглядят разными. Стоит добавить и то, что наша новейшая модель решает ещё очень, очень много других математических задач. И да, мы взялись за это потому, что на прошлой неделе в сети ходили слухи, будто модели Anthropic решили задачу тысячелетия, и нам стало любопытно, сможет ли наша.
Хочу прояснить несколько вещей: 1) На скриншоте моё сообщение Левенту с предложением скоординировать наши публикации. Надеюсь, из текста видно, что мы шли с самыми добрыми намерениями. 2) Я никогда и ни при каких обстоятельствах не просил убрать Левента из авторов его собственной работы (это видно и из моего сообщения). На созвоне с Тристаном я с удивлением узнал, что они решили только Эйлера, но не Навье — Стокса. После этого мы обсуждали, что делать дальше. Одним из вариантов было то, что Тристан станет ведущим автором переписанного доказательства OpenAI по Навье — Стоксу.
· 245,5 тыс. просмотров
8 сентября доказательства по одним и тем же уравнениям выложили обе команды. И тут же разошлись в версиях, кто кому что предлагал до публикации.
Гонка лабораторий переехала из рейтингов в нерешённую математику, а поводом стал слух. OpenAI, по словам Сэма Альтмана, взялась за задачу после разговоров в сети о том, что её уже решили модели Anthropic.
Счёт машины. OpenAI выложила рукопись на 165 страниц по уравнениям Навье — Стокса, рукопись на 45 страниц по уравнениям Эйлера и сертификаты Lean в репозитории openai/NavierStokesAndEuler. Считала невыпущенная внутренняя модель: результат пришёл через 88 часов после старта, ещё 17 часов заняла формализация. Всего на эти задачи компания пустила около 10 000 агентов и 2,7 млн сообщений.
Lean здесь не деталь для математиков. Это программа, которая перепроверяет каждый шаг доказательства и не даёт спрятать пробел в рассуждении. Через неё прогнали свои результаты обе команды.
Вторую работу сделали Левент Алпёге из Anthropic и Тристан Бакмастер из Нью-Йоркского университета. Их результат получен 15 августа и проверен в Lean 22 августа, код лежит в репозитории tristanbuckmaster/fluid_lean. По словам Бакмастера, команда работала с Claude и Codex, а Astra от OpenAI использовала только для текста статьи и аудита аргументов.
Обучение той самой внутренней модели OpenAI началось 28 августа, то есть после того, как вторая команда закрыла и проверила свой результат.
Две версии переговоров. Бакмастер рассказывает, что 3 сентября написал математику OpenAI, 6 сентября провёл два созвона с Себастьеном Бубеком и дважды услышал предложение убрать Алпёге из авторов, раз тот работает в Anthropic. Бубек это отрицает: обсуждали, по его словам, другое, и один из вариантов был такой, что Бакмастер станет ведущим автором переписанного доказательства OpenAI.
Альтман описывает те же дни иначе. OpenAI, по его версии, предложила второй команде опубликоваться первой и забрать приз, а обвинения в плагиате он называет необоснованными. Бакмастер отвечает, что доказательств OpenAI не видел и никого ни в чём не обвиняет.
Математик Теренс Тао 7 сентября назвал работу Алпёге и Бакмастера прорывом и считает переход к уравнениям Навье — Стокса выполнимым в ближайшее время. Полная задача, где на жидкость не действует внешняя сила, пока не доказана. Приз Clay в $1 млн OpenAI не просит: институт присуждает его не раньше чем через два года после публикации в рецензируемом журнале.
Дальше слово за математиками, которые будут разбирать обе рукописи: они лежат в открытом доступе вместе с сертификатами Lean.
* Meta Platforms Inc. признана в РФ экстремистской организацией, её деятельность запрещена; Facebook и Instagram заблокированы. Meta AI и другие продукты компании — продукты этой организации.
Первоисточник
