# Az OpenAI azt állítja, megoldotta a Navier–Stokes egyenletet. Ítélet: ÁTTEKINTÉS SZÜKSÉGES.

Published: 2026-09-09

Az OpenAI szerint egy belső modell, melyet mintegy 10 000 egyidejű ügynökként futtattak 88 órán keresztül, Lean-verified bizonyítékot produkált arra, hogy a Navier–Stokes egyenletek véges időn belül „felfúvódnak” (blow up) – egy Millenniumi Díj probléma, mely 1934 óta nyitott. Tizenkét órával korábban, a NYU-n dolgozó Tristan Buckmaster közzétett egy négylapos nyilatkozatot arról, hogyan zajlott a vasárnapi telefonhívás az OpenAI-val („Miért tennéd tönkre a karrieredet?”), Terence Tao azt írta, hogy a nyitott problémákat most úgy bányásszák, mint egy nem megújuló erőforrást, és egy Anthropic előképzési kutató lemondott a verseny miatt. Továbbá: a Meta bemutatja a Muse-t, egy személyes ügynököt, saját VM-mel. Ítélet: ÁTTEKINTÉS SZÜKSÉGES.

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

## Amit ez a videó tartalmaz

- OpenAI: Navier–Stokes „felfúvódás”, ~10 000 ügynök, 88 óra, 130B kimeneti token, Lean-verified
- Buckmaster és Alpöge: egy év ugyanazon a megközelítésen, egy pletyka, és egy vasárnapi hívás két ajánlattal
- Terence Tao: „még a pletyka is arról, hogy valaki egy problémán dolgozik, hatalmas AI-vezérelt erőfeszítést válthat ki annak elsimítására”
- Jacob Coxon lemond az Anthropicnál: mindkét labor „egyenesen az önfejlesztő szuperintelligencia felé rohan”
- A Meta bemutatja a Muse-t: egy személyes ügynök saját felhő VM-en, WhatsAppban, csak az USA-ban

## Lefordított átirat

Az eredeti angol narrációból fordítva. A rendelkezésre álló hangot és feliratokat a YouTube vezérli.

0:00 Tegnap az OpenAI bejelentette, hogy mesterséges intelligenciája megoldott egy Millenniumi Díj problémát, kilencven éve nyitott, egymillió dollár, nyolcvannyolc óra alatt, és a két matematikus, akik egy évet töltöttek ugyanazon a problémán, erről egy vasárnapi telefonhívás során értesültek, ami az egyikük szerint tartalmazta: miért tennéd tönkre a karrieredet? Hosszú hétfő volt. Hajnalban egy NYU professzor posztolt egy négylapos nyilatkozatot; ezerhatszáz ponttal a Hacker News-on. Délután az OpenAI közzétette a bizonyítékot.

0:26 Este Terence Tao azt mondta, hogy a nyitott problémákat most úgy bányásszák, mint egy nem megújuló erőforrást, és éjszaka egy Anthropic kutató lemondott az X-en, negyvennégy millió megtekintés, mert mindkét labor, idézem, az életünkkel játszik. A Meta is bemutatott egy személyes ügynököt, amely a WhatsAppban él és saját számítógéppel rendelkezik. Ebben a videóban: a bizonyíték, a telefonhívás, a lábjegyzet, és az a mondat, amit Terence Tao szeretné, ha a laborok meghallanának.

0:49 Szeptember 9-e, szerda van, és ez a The Daily Diff. Először a matematika. A Navier–Stokes leírja a folyadékok mozgását, és 1934 óta senki sem tudta, hogy egy sima 3D folyadék elérhet-e szingularitást: a sebesség véges időn belül végtelenné válását. Az OpenAI rendszere szerint igen. Nyugalmi állapotból indulva, sima erőt alkalmazva, véges energiát tartva, egy örvény spirálisan befelé tekeredik, mint a spagetti, amíg a sebesség fel nem robban. A Clay-féle megfogalmazás C és D állításai, Lean nyelven,

1:16 tizenhét órás Astra ellenőrzéssel. Tehát a folyadékok felrobbanhatnak, amit bárki tudott, aki kávét öntött a MacBookjára, de most már Leanben is benne van. Hogyan: az OpenAI-nak van egy új belső modellje, amelyet lényegesen képzettebbnek nevez az Astránál, és szeptember 1-jén hallottak egy pletykát, hogy két Millenniumi probléma megoldódott, ezért ráirányították az összes nyitottra. A Navier–Stokes csoport: mintegy tízezer párhuzamos ügynök, százharminc milliárd kimeneti token; háromszáz milliárd az összes

1:42 problémára vonatkozóan. Astra listaáron tizenöt millió dollár értékű token egy egymillió dolláros díjért, amit az OpenAI állítása szerint nem fog igényelni, és ilyen árréssel, ki is tenné. A másik oldal. Tristan Buckmaster a NYU-n és Levent Alpöge, aki az Anthropicnál dolgozik, egy évet töltöttek Córdoba és Martínez-Zoroa megközelítésének továbbfejlesztésével Claude és Codex segítségével, Buckmaster saját kutatási alapjaiból fizetve az OpenAI-nak. Augusztus 15-én felfúvódást kaptak az Euler-egyenletekhez; Buckmaster az első LLM bizonyítékot a valaha olvasottak közül a leghorribilisabbnak nevezi,

2:10 és augusztus 22-én Leanben is ellenőrizték. Aztán elterjedt egy pletyka, és szeptember 3-án e-mailt küldött az OpenAI-nak: mi vagyunk, ez személyes, hamarosan posztolunk. Vasárnap 12:45-kor az OpenAI találkozót kért még aznapra, és Sébastien Bubeck is csatlakozott. Buckmasternek elmondták, hogy a modell nagyon kevés emberi beavatkozással bebizonyította az erőltetett Navier–Stokes-t, ami a hívás során egy egész csapattá, majd könnyebb problémákká, a Codex által írt prompttá és őrült mennyiségű

2:36 számítási teljesítménnyé vált. Megkérdezte, mikor küldték az első promptot. Végül: az elmúlt néhány napban, miután munkánkról információk jutottak el az OpenAI-hoz. Két ajánlat következett. Egy: te posztolod az Eulert, mi posztoljuk a Navier–Stokes-t másnap. Kettő: Buckmaster egyedül írja meg az OpenAI bizonyítékát, és, elmondása szerint, Bubeck kétszer is le akarta venni Alpögét a cikkről, mert az Anthropicnál dolgozik. Ő visszautasította, és azt mondta, nyilvánosságra hozza. A válasz a nyilatkozat szerint: miért tennéd tönkre a karrieredet,

3:00 aztán: ha nem akarod, hogy kedves legyek, nem kell kedvesnek lennem. Általában ez a mondat közvetlenül azelőtt hangzik el, hogy egy ló feje felbukkan az ágyban. Az OpenAI verziója: senki sem látta a munkájukat, nem fértek hozzá felhasználói adatokhoz, és, lábjegyzet, nem zárhatják ki, hogy a professzorok termékeinek használatából származó, azonosíthatatlan adatok segítettek a modell fejlesztésében. Alpöge véleménye: elismerés nekik, amiért egyenesen tisztázták a helyzetet. Sam Altman azt mondja, mindenki tisztességgel és nagylelkűen járt el, a másik csapat pedig

3:25 alaptalan plágiumvádakkal fenyegetőzött, egy "i" betűvel írva. Tehát a hivatalos álláspont: nem másoltuk le a házi feladatodat, hallottuk, hogy házi feladatot csinálsz. Terence Tao figyelemre méltónak nevezte a professzorok eredményét, és megjegyezte, hogy Buckmaster telefonon elmagyarázta neki, ami üdítő változás az AI-alapú kommunikációs módokhoz képest. Aztán, négy bejegyzés: a jó nyitott problémákat most már úgy bányásszák, mint egy nem megújuló erőforrást, még egy pletyka is arról, hogy valaki dolgozik egyen, hatalmas AI-erőfeszítést vált ki annak elsimítására, így az ösztönző a kutatási irányok megosztásának leállítása,

3:55 évszázados nyílt tudományt megfordítva. Három csoport posztolt folyadék „felfúvódásról” egy hétvége alatt; a következő cikk lehet egy titoktartási megállapodás. Ez az a hangulat, amibe Jacob Coxon lemondott: három év előképzés az OpenAI-nál, majd az Anthropicnál; egyik cég sem jár el felelősségteljesen, mondja, mindkettő az önfejlesztő szuperintelligencia felé rohan, és a végjátékot nem egy magáncég Slackjéből kellene elindítani. Negyvennégy millió megtekintés, azon a napon, amikor az egyik labor tízezer ügynököt vetett be egy pletykára,

4:21 így a szál egy élő demóval együtt került publikálásra. Eközben a Meta kiadta a Muse-t: egy személyes ügynököt saját felhő VM-en, saját böngészővel, és a WhatsAppban beszélhetsz vele. Csak az USA-ban, a legtöbb dologhoz ingyenes. A Meta idén később ígér egy olyan verziót, amit még a Meta sem tud elolvasni, ami nagyon specifikus módja ennek az évnek a leírására. Legjobb Hacker News komment: Nem akarom így megosztani az életemet a Metával. Második: folyamatosan babakocsit próbál eladni nekem.

4:45 Ha inkább elolvasnád ezt, mint hallgatnád, ahogy mondom, a "diff" minden reggel megérkezik a bejövő leveleid közé — ingyenesen a the daily diff dot dev címen, link lent. Szóval – a mai ítélet: áttekintés szükséges. A bizonyíték összeáll; a történet nem. Tízezer ügynök, akik egy kilencven éves problémát oldanak meg egy hétvége alatt, az az év képességbeli eredménye; de bejelenteni azt egy vasárnapi telefonhívással annak a két embernek, akiktől hallottál róla, az nem.

5:07 És ez volt a mai különbség. Niko vagyok az Axrisitől. Felelősségteljesen egyesítsétek.

## Források

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