# OpenAI казва, че е разрешил Навие-Стокс. Присъда: НЕОБХОДИМ Е ПРЕГЛЕД.

Published: 2026-09-09

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

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

## Какво обхваща този видеоклип

- OpenAI: "взривяване" на Навие-Стокс, ~10 000 агента, 88 часа, 130 милиарда изходни токена, Lean-проверено
- Бъкмастър и Алпьоге: една година по същия подход, слух и неделен разговор с две предложения
- Терънс Тао: "дори слухът, че някой работи по даден проблем, може да предизвика огромно количество усилия, задвижвани от AI, за да го реши"
- Джейкъб Коксън подава оставка от 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 е заплашвал с необосновани обвинения в плагиатство, изписано с едно 'i'. Така че официалната позиция: не сме преписвали домашното ви, чухме, че правите домашно. Терънс Тао нарече резултата на професорите забележителен и отбеляза, че Бъкмастър му го е обяснил по телефона, освежаваща промяна от AI-базираните комуникационни методи. След това, четири публикации: добри отворени проблеми сега се добиват като невъзобновяем ресурс, дори слух, че някой работи по такъв, предизвиква масирани усилия на AI да го реши, така че стимулът е да спрем да споделяме изследователски

3:55 направления, обръщайки векове на отворена наука. Три групи публикуваха за "взривяване" на течности за един уикенд; следващият документ може да бъде споразумение за неразгласяване. Това е настроението, в което Джейкъб Коксън подаде оставка: три години предварително обучение в OpenAI, след това Anthropic; нито една от компаниите не действа отговорно, казва той, и двете се надпреварват към самоусъвършенстващ се свръхинтелект, и крайната цел не трябва да бъде стартирана от Slack на частна компания. Четиридесет и четири милиона гледания, в деня, когато една лаборатория пусна десет хиляди агента по слух,

4:21 така че нишката беше публикувана с демонстрация на живо. Междувременно Meta пусна Muse: личен агент на собствена облачна виртуална машина със собствен браузър, и разговаряте с него в WhatsApp. Само за САЩ, безплатно за повечето неща. Meta обещава версия, която дори Meta не може да прочете, по-късно тази година, много специфичен начин за описание на тази година. Топ коментар в Hacker News: Не искам да споделям живота си с Meta по този начин. Второ: продължава да се опитва да ми продаде количка.

4:45 Ако предпочитате да прочетете това, вместо да ме чуете да го казвам, "разликата" пристига във входящата ви поща всяка сутрин — безплатно на the daily diff dot dev, линк по-долу. Така че — днешната присъда: необходим е преглед. Доказателството се компилира; историята не. Десет хиляди агента, решаващи деветдесетгодишен проблем за един уикенд, е резултатът за възможности на годината; обявяването му с неделен телефонен разговор с двамата хора, от които сте чули за него, не е.

5:07 И това е "разликата" за днес. Аз съм Нико от 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