# OpenAI říká, že vyřešila Navier–Stokes. Verdikt: POTŘEBUJE PŘEZKUM.

Published: 2026-09-09

OpenAI říká, že interní model, spuštěný jako asi 10 000 souběžných agentů po dobu 88 hodin, vypracoval Lean-ověřený důkaz, že rovnice Navier–Stokes vybuchnou v konečném čase – problém Miléniové ceny otevřený od roku 1934. Dvanáct hodin předtím, Tristan Buckmaster z NYU zveřejnil čtyřstránkové prohlášení o tom, jak probíhal nedělní telefonát s OpenAI ("Proč byste si ničil kariéru?"), Terence Tao napsal, že otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, a výzkumník Anthropic pretrainingu rezignoval kvůli závodu. Také: Meta SHIP IT Muse, osobního agenta s vlastním VM. Verdikt: POTŘEBUJE PŘEZKUM.

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

## Co toto video pokrývá

- OpenAI: výbuch Navier–Stokes, ~10 000 agentů, 88 hodin, 130B výstupních tokenů, Lean-ověřeno
- Buckmaster a Alpöge: rok na stejném přístupu, fáma a nedělní hovor se dvěma nabídkami
- Terence Tao: "dokonce i fáma, že někdo pracuje na problému, může vyvolat masivní úsilí poháněné AI k jeho zploštění"
- Jacob Coxon rezignuje z Anthropic: obě laboratoře "závodí přímo k samo-zdokonalující se superinteligenci"
- Meta SHIP IT Muse: osobní agent na vlastním cloudovém VM, ve WhatsApp, pouze USA

## Přeložený přepis

Přeloženo z původního anglického vyprávění. Dostupné audio a titulky jsou řízeny YouTube.

0:00 Včera OpenAI oznámila, že její AI vyřešila problém Miléniové ceny, otevřený devadesát let, za milion dolarů, za osmdesát osm hodin, a dva matematici, kteří strávili rok na stejném problému, se o tom dozvěděli během nedělního telefonátu, který podle jednoho z nich zahrnoval: proč byste si ničil kariéru? Bylo to dlouhé pondělí. Za úsvitu profesor z NYU zveřejnil čtyřstránkové prohlášení; šestnáct set bodů na Hacker News. Odpoledne OpenAI zveřejnila důkaz.

0:26 Večer Terence Tao řekl, že otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, a přes noc rezignoval výzkumník Anthropicu na X, čtyřicet čtyři milionů zhlédnutí, protože obě laboratoře, cituji, hazardují s našimi životy. Také, Meta SHIP IT osobního agenta, který žije ve WhatsApp a má svůj vlastní počítač. V tomto videu: důkaz, telefonát, poznámka pod čarou, a věta, kterou chce Terence Tao, aby laboratoře slyšely.

0:49 Je středa, 9. září, a toto je The Daily Diff. Nejprve matematika. Navier–Stokes popisuje, jak se pohybují kapaliny, a od roku 1934 nikdo nevěděl, zda hladká 3D kapalina může dosáhnout singularity: rychlost se stává nekonečnou v konečném čase. Systém OpenAI říká ano. Začněte v klidu, aplikujte hladkou sílu, udržujte energii konečnou, a vír se spirálovitě stáčí dovnitř jako špagety, dokud se rychlost nevybuchne. Prohlášení C a D formulace Clay, v Lean,

1:16 sedmnáct hodin Astra k ověření. Takže kapaliny mohou explodovat, což věděl každý, kdo si vylil kávu na MacBook, ale teď je to v Lean. Jak: OpenAI má nový interní model, který nazývá výrazně schopnějším než Astra, a 1. září slyšeli fámu, že dva Millennium problémy byly vyřešeny, takže to nasměrovali na každý otevřený problém. Skupina Navier–Stokes: asi deset tisíc souběžných agentů, sto třicet miliard výstupních tokenů; tři sta miliard napříč všemi

1:42 problémy. Za ceníkové ceny Astra, patnáct milionů dolarů za tokeny pro milionovou cenu, kterou OpenAI říká, že si nenárokuje, a s takovou marží, kdo by. Druhá strana. Tristan Buckmaster z NYU a Levent Alpöge, který pracuje pro Anthropic, strávili rok prosazováním přístupu Córdoba a Martínez-Zoroa s Claude a Codex, platící OpenAI z Buckmasterových vlastních výzkumných fondů. 15. srpna dosáhli výbuchu pro Eulerovy rovnice; Buckmaster nazývá první LLM důkaz tím nejhorším, co kdy četl,

2:10 a byl ověřen v Lean 22. srpna. Pak se rozšířila fáma, a 3. září poslal e-mail OpenAI: jsme to my, je to osobní, brzy zveřejníme. V neděli ve 12:45 OpenAI požádala o schůzku kdykoli dnes, a Sébastien Bubeck se připojil. Buckmasterovi bylo řečeno, že model dokázal nucené Navier–Stokes s velmi malým lidským vstupem, což se během hovoru stalo celým týmem, nejprve jednodušší problémy, výzva napsaná Codexem a šílené množství

2:36 výpočetní síly. Zeptal se, kdy byla odeslána první výzva. Nakonec: v posledních několika dnech, poté, co se informace o naší práci dostaly k OpenAI. Následovaly dvě nabídky. Jedna: vy zveřejníte Eulera, my zveřejníme Navier–Stokes další den. Dvě: Buckmaster sám sepíše důkaz OpenAI, a, říká, Bubeck dvakrát chtěl Alpögeho vyřadit z práce, protože pracuje pro Anthropic. Odmítl a řekl, že to zveřejní. Odpověď, podle prohlášení: proč byste si ničil kariéru,

3:00 pak: pokud nechceš, abych byl milý, nemusím být milý. Normálně to je věta těsně předtím, než se v posteli objeví koňská hlava. Verze OpenAI: nikdo neviděl jejich práci, žádná uživatelská data nebyla zpřístupněna, a, poznámka pod čarou, nemohou vyloučit, že anonymizovaná data z profesorova používání jejich produktů pomohla vylepšit model. Alpögeho recenze: klobouk dolů, že s tím vyšli na čisto. Sam Altman říká, že všichni jednali s integritou a velkorysostí a druhý tým

3:25 hrozil nepodloženými obviněními z plagiátorství, napsáno s jedním i. Takže oficiální stanovisko: nekopírovali jsme váš domácí úkol, slyšeli jsme, že děláte domácí úkol. Terence Tao označil výsledek profesorů za pozoruhodný a poznamenal, že mu Buckmaster to vysvětlil po telefonu, což je osvěžující změna od komunikace založené na AI modalitách. Pak, čtyři příspěvky: dobré otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, dokonce i fáma, že na jednom někdo pracuje, spouští masivní úsilí AI k jeho zploštění, takže motivací je přestat sdílet výzkumné

3:55 směry, což obrací staletí otevřené vědy. Tři skupiny zveřejnily výbuch kapaliny za jeden víkend; další článek může být NDA. To je nálada, do které Jacob Coxon rezignoval: tři roky předtrénování v OpenAI, pak Anthropic; ani jedna společnost nejedná zodpovědně, říká, obě závodí k samo-zdokonalující se superinteligenci, a konec by neměl být spuštěn ze Slacku soukromé společnosti. Čtyřicet čtyři milionů zhlédnutí, v den, kdy jedna laboratoř nasadila deset tisíc agentů na fámu,

4:21 takže vlákno SHIP IT s živou ukázkou. Mezitím, Meta SHIP IT Muse: osobního agenta na vlastním cloudovém VM s vlastním prohlížečem, a mluvíte s ním ve WhatsApp. Pouze USA, zdarma pro většinu věcí. Meta slibuje verzi, kterou ani Meta nemůže číst, později letos, velmi specifický způsob popisu letošního roku. Nejlepší komentář na Hacker News: Nechci takto sdílet svůj život s Meta. Druhý: stále se mi snaží prodat kočárek.

4:45 Pokud si to raději přečtete, než abyste mě slyšeli říkat, diff vám přistane do e-mailové schránky každé ráno – zdarma na the daily diff dot dev, odkaz níže. Takže – dnešní verdikt: POTŘEBUJE PŘEZKUM. Důkaz se zkompiluje; příběh ne. Deset tisíc agentů, kteří vyřeší devadesátiletý problém za víkend, je výsledek schopností roku; oznámit to nedělním telefonátem dvěma lidem, od kterých jste se o tom dozvěděli, není.

5:07 A to je dnešní diff. Jsem Niko z Axrisi. Sloučit zodpovědně.

## Zdroje

- [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