# OpenAI tvrdí, že vyriešila Navier–Stokesa. Verdikt: POTREBUJE KONTROLU.

Published: 2026-09-09

OpenAI tvrdí, že interný model, spustený ako približne 10 000 súbežných agentov po dobu 88 hodín, vytvoril Lean-overený dôkaz, že Navier–Stokesove rovnice explodujú v konečnom čase — problém miléniovej ceny otvorený od roku 1934. Dvanásť hodín predtým Tristan Buckmaster z NYU zverejnil štvorstranové vyhlásenie o tom, ako prebehol nedeľný telefonát s OpenAI („Prečo by si si ničil kariéru?“), Terence Tao napísal, že otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, a výskumník z Anthropic pretrainingu rezignoval kvôli pretekom. Tiež: Meta vydáva Muse, osobného agenta s vlastným VM. Verdikt: POTREBUJE KONTROLU.

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

## Čo toto video pokrýva

- OpenAI: explózia Navier–Stokes, ~10 000 agentov, 88 hodín, 130B výstupných tokenov, Lean-overené
- Buckmaster a Alpöge: rok na rovnakom prístupe, fáma a nedeľný telefonát s dvoma ponukami
- Terence Tao: „dokonca aj fáma o tom, že niekto pracuje na probléme, môže spustiť masívne úsilie poháňané AI na jeho vyriešenie“
- Jacob Coxon rezignuje z Anthropic: obe laboratóriá „pretekajú rovno k samo-zdokonaľujúcej sa superinteligencii“
- Meta vydáva Muse: osobného agenta na vlastnom cloudovom VM, v WhatsApp, len v USA

## Preložený prepis

Preložené z pôvodného anglického rozprávania. Dostupný zvuk a titulky sú kontrolované službou YouTube.

0:00 Včera OpenAI oznámila, že jej AI vyriešila problém miléniovej ceny, otvorený deväťdesiat rokov, za milión dolárov, za osemdesiatosem hodín, a dvaja matematici, ktorí strávili rok rovnakým problémom, sa o tom dozvedeli v nedeľnom telefonáte, ktorý podľa jedného z nich zahŕňal: prečo by si si ničil kariéru? Bol to dlhý pondelok. Na úsvite profesor z NYU zverejnil štvorstranové vyhlásenie; šestnásťsto bodov na Hacker News. Popoludní OpenAI zverejnila dôkaz.

0:26 Večer Terence Tao povedal, že otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, a cez noc výskumník z Anthropic rezignoval na X, štyridsaťštyri miliónov zobrazení, pretože obe laboratóriá, citujem, hazardujú s našimi životmi. Meta tiež vydala osobného agenta, ktorý žije v WhatsApp a má svoj vlastný počítač. V tomto videu: dôkaz, telefonát, poznámka pod čiarou, a veta, ktorú chce Terence Tao, aby si laboratóriá vypočuli.

0:49 Je streda, 9. septembra, a toto je The Daily Diff. Najprv matematika. Navier–Stokes popisuje, ako sa pohybujú tekutiny, a od roku 1934 nikto nevedel, či hladká 3D tekutina môže dosiahnuť singularitu: rýchlosť, ktorá sa v konečnom čase stane nekonečnou. Systém OpenAI hovorí áno. Začnite v pokoji, aplikujte hladkú silu, udržujte energiu konečnú, a vír sa špirálovito stáča dovnútra ako špagety, kým sa rýchlosť nezvýši. Výroky C a D formulácie Clay, v Lean,

1:16 sedemnásť hodín Astra na overenie. Takže tekutiny môžu explodovať, čo vedel každý, kto rozlial kávu na MacBook, ale teraz je to v Lean. Ako: OpenAI má nový interný model, ktorý nazýva výrazne schopnejším ako Astra, a 1. septembra sa k nim dostala fáma, že boli vyriešené dva problémy milénia, takže ho nasmerovali na každý otvorený problém. Skupina Navier–Stokes: približne desaťtisíc súbežných agentov, sto tridsať miliárd výstupných tokenov; tristo miliárd pre všetky

1:42 problémy. Pri cenníkových cenách Astra, pätnásť miliónov dolárov tokenov za milión dolárovú cenu, ktorú OpenAI podľa nich nebude nárokovať, a pri takejto marži, kto by. Druhá strana. Tristan Buckmaster z NYU a Levent Alpöge, ktorý pracuje v Anthropic, strávili rok presadzovaním prístupu od Córdobu a Martíneza-Zoroa s Claude a Codex, platiac OpenAI z Buckmasterových vlastných výskumných fondov. 15. augusta dosiahli explóziu pre Eulerove rovnice; Buckmaster nazýva prvý LLM dôkaz najhorornejším, aký kedy čítal,

2:10 a bol overený v Lean 22. augusta. Potom sa rozšírila fáma a 3. septembra poslal e-mail OpenAI: sme to my, je to osobné, čoskoro zverejníme. V nedeľu o 12:45 OpenAI požiadala o stretnutie kedykoľvek dnes, a pripojil sa Sébastien Bubeck. Buckmasterovi bolo povedané, že model dokázal vynútené Navier–Stokesove rovnice s veľmi malým ľudským vstupom, čo sa počas hovoru zmenilo na celý tím, najprv ľahšie problémy, prompt napísaný Codexom a šialené množstvo

2:36 výpočtov. Spýtal sa, kedy bol odoslaný prvý prompt. Nakoniec: v posledných dňoch, potom, čo sa informácie o našej práci dostali do OpenAI. Nasledovali dve ponuky. Jedna: vy zverejníte Euler, my zverejníme Navier–Stokes na druhý deň. Dva: Buckmaster sám napíše dôkaz OpenAI, a povedal, že Bubeck dvakrát chcel Alpögeho preč z článku, pretože pracuje v Anthropic. Odmietol a povedal, že to zverejní. Odpoveď, podľa vyhlásenia: prečo by si si ničil kariéru,

3:00 potom: ak nechceš, aby som bol milý, nemusím byť milý. Normálne je to veta tesne pred tým, ako sa konská hlava objaví v posteli. Verzia OpenAI: nikto nevidel ich prácu, neboli prístupné žiadne užívateľské dáta, a, poznámka pod čiarou, nemôžu vylúčiť, že deidentifikované dáta z používania ich produktov profesormi pomohli zlepšiť model. Recenzia Alpögeho: česť im za to, že vyšli s pravdou von. Sam Altman hovorí, že všetci konali s integritou a veľkorysosťou a druhý tím

3:25 hrozil nepodloženými obvineniami z plagiátorstva, napísaného s jedným i. Takže oficiálne stanovisko: neskopírovali sme vašu domácu úlohu, počuli sme, že robíte domácu úlohu. Terence Tao označil výsledok profesorov za pozoruhodný a poznamenal, že mu ho Buckmaster vysvetlil telefonicky, osviežujúca zmena oproti komunikačným modalitám založeným na AI. Potom štyri príspevky: dobré otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, dokonca aj fáma o tom, že niekto pracuje na jednom, spúšťa masívne úsilie AI na jeho vyriešenie, takže motiváciou je prestať zdieľať smery výskumu,

3:55 čo mení stáročia otvorenej vedy. Tri skupiny zverejnili explóziu tekutín za jeden víkend; ďalší článok môže byť NDA. To je nálada, do ktorej Jacob Coxon rezignoval: tri roky pretrainingu v OpenAI, potom Anthropic; žiadna spoločnosť nekoná zodpovedne, hovorí, obe sa rútia k samo-zdokonaľujúcej sa superinteligencii, a konečná hra by nemala byť spustená zo Slacku súkromnej spoločnosti. Štyridsaťštyri miliónov zobrazení, v deň, keď jedno laboratórium poslalo desaťtisíc agentov na fámu,

4:21 takže vlákno bolo odoslané so živou ukážkou. Medzitým Meta vydala Muse: osobného agenta na vlastnom cloudovom VM s vlastným prehliadačom, a rozprávate sa s ním v WhatsApp. Len v USA, väčšina vecí zadarmo. Meta sľubuje verziu, ktorú ani Meta nebude môcť čítať, neskôr tento rok, veľmi špecifický spôsob opisu tohto roka. Najlepší komentár na Hacker News: Nechcem takto zdieľať svoj život s Metou. Druhý: stále sa mi snaží predať kočík.

4:45 Ak si to radšej prečítate, ako by ste ma počúvali, The Daily Diff príde do vašej schránky každé ráno — zadarmo na the daily diff dot dev, odkaz nižšie. Takže — dnešný verdikt: potrebuje kontrolu. Dôkaz sa skompiluje; príbeh nie. Desaťtisíc agentov, ktorí vyriešia deväťdesiatročný problém za víkend, je výsledok schopností roka; oznámiť to nedeľným telefonátom dvom ľuďom, od ktorých ste sa o tom dozvedeli, nie je.

5:07 A to je rozdiel pre dnešok. Som Niko z Axrisi. Spájajte zodpovedne.

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