# OpenAI заявляет, что решила уравнение Навье-Стокса. Вердикт: НЕОБХОДИМ ПЕРЕСМОТР.

Published: 2026-09-09

OpenAI заявляет, что внутренняя модель, запущенная примерно 10 000 параллельными агентами в течение 88 часов, произвела проверенное Lean-доказательство того, что уравнения Навье-Стокса взрываются за конечное время — проблема Тысячелетия, открытая с 1934 года. Двенадцатью часами ранее Тристан Бакмастер из Нью-Йоркского университета опубликовал четырехстраничное заявление о том, как прошел воскресный телефонный разговор с OpenAI («Зачем вы рушите свою карьеру?»), Теренс Тао написал, что открытые проблемы теперь добываются как невозобновляемый ресурс, а исследователь по предварительному обучению из Anthropic уволился из-за гонки. Также: Meta выпускает Muse, персонального агента с собственной виртуальной машиной. Вердикт: НЕОБХОДИМ ПЕРЕСМОТР.

Canonical: https://thedailydiff.dev/ru/video/2026-09-09-navier-stokes-rumor/

## Что освещается в этом видео

- OpenAI: взрыв Навье-Стокса, ~10 000 агентов, 88 часов, 130 миллиардов выходных токенов, проверено Lean
- Бакмастер и Алпёге: год работы над тем же подходом, слухи и воскресный звонок с двумя предложениями
- Теренс Тао: «даже слухи о том, что кто-то работает над проблемой, могут спровоцировать массовые усилия ИИ по ее решению»
- Джейкоб Коксон увольняется из Anthropic: обе лаборатории «мчатся прямо к самосовершенствующемуся суперинтеллекту»
- Meta выпускает Muse: персональный агент на своей собственной облачной виртуальной машине, в WhatsApp, только в США

## Переведенная стенограмма

Переведено с оригинального английского повествования. Доступные аудио и субтитры контролируются YouTube.

0:00 Вчера OpenAI объявила, что ее ИИ решил одну из Проблем Тысячелетия, открытую девяносто лет, стоимостью в один миллион долларов, за восемьдесят восемь часов, и два математика, которые провели год над той же проблемой, узнали об этом во время воскресного телефонного разговора, который, по словам одного из них, включал: зачем вы рушите свою карьеру? Это был долгий понедельник. На рассвете профессор Нью-Йоркского университета опубликовал четырехстраничное заявление; шестнадцатьсот баллов на Hacker News. Днем OpenAI опубликовала доказательство.

0:26 Вечером Теренс Тао сказал, что открытые проблемы теперь добываются как невозобновляемый ресурс, а за ночь исследователь Anthropic уволился на X, сорок четыре миллиона просмотров, потому что обе лаборатории, цитата, играют с нашими жизнями. Также Meta выпустила персонального агента, который живет в WhatsApp и имеет свой собственный компьютер. В этом видео: доказательство, телефонный разговор, сноска, и предложение, которое Теренс Тао хочет, чтобы лаборатории услышали.

0:49 Среда, 9 сентября, и это The Daily Diff. Сначала о математике. Уравнения Навье-Стокса описывают движение жидкостей, и с 1934 года никто не знал, может ли гладкая 3D-жидкость достичь сингулярности: скорость, уходящая в бесконечность за конечное время. Система OpenAI говорит «да». Начните с покоя, приложите гладкую силу, поддерживайте энергию конечной, и вихрь будет закручиваться внутрь, как спагетти, пока скорость не взорвется. Утверждения C и D формулировки Клэя, в Lean,

1:16 семнадцать часов Astra для проверки. Значит, жидкости могут взрываться, что знал любой, кто пролил кофе на MacBook, но теперь это в Lean. Как: OpenAI имеет новую внутреннюю модель, которую она называет значительно более способной, чем Astra, и 1 сентября они услышали слух, что две Проблемы Тысячелетия были решены, поэтому они направили ее на каждую открытую. Группа Навье-Стокса: около десяти тысяч параллельных агентов, сто тридцать миллиардов выходных токенов; триста миллиардов по всем

1:42 проблемам. По прейскуранту Astra, пятнадцать миллионов долларов токенов за приз в один миллион долларов, который OpenAI, по ее словам, не будет требовать, и с такой маржой, кто бы стал. Другая сторона. Тристан Бакмастер из Нью-Йоркского университета и Левент Алпёге, работающий в Anthropic, провели год, развивая подход Кордобы и Мартинеса-Зороа с Claude и Codex, оплачивая OpenAI из собственных исследовательских фондов Бакмастера. 15 августа они получили взрыв для уравнений Эйлера; Бакмастер называет первое LLM-доказательство самым ужасным из всех, что он когда-либо читал,

2:10 и оно было проверено в Lean 22 августа. Затем распространился слух, и 3 сентября он отправил электронное письмо в OpenAI: это мы, это личное, мы скоро опубликуем. В воскресенье в 12:45 OpenAI предложила встретиться в любое время сегодня, и Себастьян Бубек присоединился. Бакмастеру сказали, что модель доказала вынужденные Навье-Стокса с очень небольшим человеческим участием, что в ходе разговора стало целой командой, сначала более легкие проблемы, запрос, написанный Codex, и безумное количество

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

3:00 затем: если вы не хотите, чтобы я был милым, мне не обязательно быть милым. Обычно фраза прямо перед тем, как голова лошади оказывается в кровати. Версия OpenAI: никто не видел их работу, доступ к пользовательским данным не осуществлялся, и, сноска, они не могут исключить, что обезличенные данные от использования их продуктов профессорами помогли улучшить модель. Отзыв Алпёге: хвала им за честность. Сэм Альтман говорит, что все действовали с добросовестностью и щедростью, а другая команда

3:25 угрожала необоснованными обвинениями в плагиате, написанном с одной буквой «и». Итак, официальная позиция: мы не копировали вашу домашнюю работу, мы слышали, что вы делаете домашнюю работу. Теренс Тао назвал результат профессоров выдающимся и отметил, что Бакмастер объяснил ему это по телефону, что является освежающим изменением по сравнению с AI-основанными режимами общения. Затем, четыре поста: хорошие открытые проблемы теперь добываются как невозобновляемый ресурс, даже слух о том, что кто-то работает над одной, вызывает массовые усилия ИИ по ее решению, так что стимул состоит в том, чтобы прекратить делиться направлениями исследований,

3:55 переворачивая века открытой науки. Три группы опубликовали о взрыве жидкости за один уик-энд; следующая статья может быть под NDA. Именно в таком настроении Джейкоб Коксон уволился: три года предварительного обучения в OpenAI, затем Anthropic; ни одна из компаний не действует ответственно, говорит он, обе мчатся к самосовершенствующемуся суперинтеллекту, и финал не должен запускаться из Slack частной компании. Сорок четыре миллиона просмотров, в тот день, когда одна лаборатория отправила десять тысяч агентов по слуху,

4:21 поэтому тема была опубликована с живой демонстрацией. Тем временем Meta выпустила Muse: персонального агента на своей собственной облачной виртуальной машине со своим собственным браузером, и вы общаетесь с ним в WhatsApp. Только в США, бесплатно для большинства функций. Meta обещает версию, которую даже Meta не сможет прочитать, позднее в этом году, очень специфический способ описания этого года. Главный комментарий на Hacker News: Я не хочу так делиться своей жизнью с Meta. Второй: он постоянно пытается продать мне коляску.

4:45 Если вы предпочитаете читать это, а не слушать меня, то The Daily Diff попадает в ваш почтовый ящик каждое утро — бесплатно на daily diff dot dev, ссылка ниже. Итак — сегодняшний вердикт: НЕОБХОДИМ ПЕРЕСМОТР. Доказательство компилируется; история нет. Десять тысяч агентов, решающих девяностолетнюю проблему за выходные, — это результат года в области возможностей; объявление об этом воскресным телефонным звонком двум людям, от которых вы об этом узнали, — нет.

5:07 И это весь The Daily Diff на сегодня. Я Нико из Axrisi. Сливайте ответственно.

## Источники

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com