# OpenAI says it solved Navier–Stokes. Verdict: NEEDS REVIEW.

Published: 2026-09-09

Sabi ng OpenAI, isang panloob na modelo, na pinatakbo bilang humigit-kumulang 10,000 sabay-sabay na ahente sa loob ng 88 oras, ay nakagawa ng isang patunay na na-verify ng Lean na ang Navier–Stokes equations ay bumubulusok sa limitadong oras — isang problema sa Millennium Prize na bukas mula pa noong 1934. Labindalawang oras bago iyon, naglimbag si Tristan Buckmaster ng NYU ng apat na pahinang pahayag tungkol sa takbo ng tawag sa telepono noong Linggo sa OpenAI ("Bakit mo sisirain ang iyong karera?"), isinulat ni Terence Tao na ang mga bukas na problema ay minina na ngayon tulad ng isang hindi nababagong yaman, at nagbitiw ang isang Anthropic pretraining researcher dahil sa karera. Bukod pa rito: Ipinadala ng Meta ang Muse, isang personal na ahente na may sariling VM. Verdict: NEEDS REVIEW.

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

## Ang sakop ng video na ito

- OpenAI: Navier–Stokes blow-up, ~10,000 ahente, 88 oras, 130B output token, Lean-verified
- Buckmaster at Alpöge: isang taon sa parehong diskarte, isang tsismis, at isang tawag sa Linggo na may dalawang alok
- Terence Tao: "kahit ang tsismis na may nagtatrabaho sa isang problema ay maaaring mag-trigger ng napakalaking pagsisikap na pinapagana ng AI upang patagin ito"
- Nagbitiw si Jacob Coxon mula sa Anthropic: ang parehong lab ay "nagmamadali nang diretso sa self-improving superintelligence"
- Ipinadala ng Meta ang Muse: isang personal na ahente sa sarili nitong cloud VM, sa WhatsApp, sa US lang

## Isinaling transcript

Isinalin mula sa orihinal na salaysay sa English. Ang available na audio at mga caption ay kinokontrol ng YouTube.

0:00 Kahapon, inihayag ng OpenAI na nalutas ng AI nito ang problema sa Millennium Prize, siyamnapung taon nang bukas, isang milyong dolyar, sa loob ng walumpu't walong oras, at nalaman ito ng dalawang mathematician na gumugol ng isang taon sa parehong problema sa isang tawag sa telepono noong Linggo na, ayon sa isa sa kanila, ay naglaman ng: bakit mo sisirain ang iyong karera? Mahabang Lunes iyon. Pagbukang-liwayway, nag-post ang isang propesor ng NYU ng apat na pahinang pahayag; labing-anim na raang puntos sa Hacker News. Paghapon, nag-post ang OpenAI ng patunay.

0:26 Kinagabihan, sinabi ni Terence Tao na ang mga bukas na problema ay mina na ngayon tulad ng isang hindi nababagong yaman, at magdamag, isang Anthropic researcher ang nagbitiw sa X, apatnapu't apat na milyong views, dahil parehong lab ay, quote, nagsusugal sa ating buhay. Gayundin, ipinadala ng Meta ang isang personal na ahente na nakatira sa WhatsApp at may sarili nitong computer. Sa video na ito: ang patunay, ang tawag sa telepono, ang talababa, at ang pangungusap na nais ni Terence Tao na marinig ng mga lab.

0:49 Miyerkules ngayon, Setyembre 9, at ito ang The Daily Diff. Ang matematika muna. Inilalarawan ng Navier–Stokes kung paano gumagalaw ang mga likido, at mula pa noong 1934 ay walang nakakaalam kung ang isang makinis na 3D fluid ay maaaring tumama sa isang singularity: ang bilis ay nagiging walang hanggan sa limitadong oras. Ang sistema ng OpenAI ay nagsasabing oo. Magsimula sa pahinga, maglagay ng makinis na puwersa, panatilihing limitado ang enerhiya, at isang vortex ang umiikot papasok tulad ng spaghetti hanggang sa sumabog ang bilis. Mga Pahayag C at D ng pagbabalangkas ng Clay, sa Lean,

1:16 labing-pitong oras ng Astra para i-verify. Kaya't maaaring sumabog ang mga likido, na alam ng sinumang nakatapon ng kape sa isang MacBook, ngunit ngayon ay nasa Lean na ito. Paano: Ang OpenAI ay may bagong panloob na modelo na tinatawag nilang higit na may kakayahan kaysa sa Astra, at noong Setyembre 1 ay nakarinig sila ng tsismis na dalawang problema sa Millennium ang nalutas, kaya itinuro nila ito sa bawat bukas na isa. Ang grupo ng Navier–Stokes: humigit-kumulang sampung libong sabay-sabay na ahente, isang daan at tatlumpung bilyong output token; tatlong daang bilyon sa lahat ng

1:42 problema. Sa listahan ng presyo ng Astra, labinlimang milyong dolyar na halaga ng mga token para sa isang isang milyong dolyar na premyo na sinasabing hindi kukunin ng OpenAI, at sa ganoong margin, sino ang kukuha. Ang kabilang panig. Si Tristan Buckmaster sa NYU at Levent Alpöge, na nagtatrabaho sa Anthropic, gumugol ng isang taon na nagtutulak ng isang diskarte nina Córdoba at Martínez-Zoroa kasama ang Claude at Codex, binabayaran ang OpenAI mula sa sariling pondo ng pananaliksik ni Buckmaster. Noong Agosto 15 ay nakakuha sila ng blow-up para sa mga equation ng Euler; tinatawag ni Buckmaster ang unang patunay ng LLM na pinakakasuklam-suklam na nabasa niya kailanman,

2:10 at na-verify ito sa Lean noong Agosto 22. Pagkatapos kumalat ang isang tsismis, at Setyembre 3 ay nag-email siya sa OpenAI: kami ito, personal ito, magpo-post kami sa lalong madaling panahon. Noong Linggo bandang 12:45, humingi ng pulong ang OpenAI anumang oras ngayong araw, at sumama si Sébastien Bubeck. Sinabihan si Buckmaster na napatunayan ng modelo ang pinilit na Navier–Stokes na may napakaliit na input ng tao, na sa loob ng tawag ay naging isang buong koponan, mas madaling problema muna, isang prompt na isinulat ng Codex, at napakaraming

2:36 compute. Tinanong niya kung kailan ipinadala ang unang prompt. Sa huli: sa nakalipas na ilang araw, pagkatapos na makarating ang impormasyon tungkol sa aming trabaho sa OpenAI. Dalawang alok ang sumunod. Isa: ipo-post mo ang Euler, ipo-post namin ang Navier–Stokes sa susunod na araw. Dalawa: Si Buckmaster lamang ang magsusulat ng patunay ng OpenAI, at, aniya, dalawang beses na nais ni Bubeck na alisin si Alpöge sa papel dahil nagtatrabaho siya sa Anthropic. Tinumanggihan niya at sinabing isasapubliko niya. Ang sagot, ayon sa pahayag: bakit mo sisirain ang iyong karera,

3:00 tapos: kung ayaw mong maging mabait ako, hindi ko kailangang maging mabait. Kadalasang ang linya bago lumitaw ang ulo ng kabayo sa kama. Ang bersyon ng OpenAI: walang nakakita sa kanilang trabaho, walang na-access na data ng user, at, talababa, hindi nila maalis na ang de-identified data mula sa paggamit ng mga propesor sa kanilang mga produkto ay nakatulong sa pagpapabuti ng modelo. Ang review ni Alpöge: papuri sa kanila sa pagiging tapat. Sabi ni Sam Altman na lahat ay kumilos nang may integridad at pagkabukas-palad at ang kabilang koponan

3:25 ay nagbanta ng walang batayang akusasyon ng plagiarism, na may isang 'i' lamang. Kaya ang opisyal na posisyon: hindi namin kinopya ang iyong takdang-aralin, narinig namin na gumagawa ka ng takdang-aralin. Tinawag ni Terence Tao na kahanga-hanga ang resulta ng mga propesor at nabanggit na ipinaliwanag ito sa kanya ni Buckmaster sa telepono, isang nakakapreskong pagbabago mula sa mga modalidad ng komunikasyon na batay sa AI. Pagkatapos, apat na post: ang magagandang bukas na problema ay minina na ngayon tulad ng isang hindi nababagong yaman, kahit ang tsismis na may nagtatrabaho sa isa ay nag-trigger ng napakalaking pagsisikap ng AI upang patagin ito, kaya ang insentibo ay itigil ang pagbabahagi ng mga direksyon ng pananaliksik,

3:55 binabaligtad ang mga siglo ng bukas na agham. Tatlong grupo ang nag-post ng fluid blow-up sa isang weekend; ang susunod na papel ay maaaring isang NDA. Alin ang damdaming kinasangkapan ni Jacob Coxon nang nagbitiw: tatlong taon ng pretraining sa OpenAI, pagkatapos Anthropic; walang kumpanya ang kumikilos nang responsable, aniya, parehong nagmamadali patungo sa self-improving superintelligence, at ang endgame ay hindi dapat ilunsad mula sa Slack ng isang pribadong kumpanya. Apatnapu't apat na milyong views, sa araw na naglagay ang isang lab ng sampung libong ahente sa isang tsismis,

4:21 kaya ipinadala ang thread na may live demo. Samantala, ipinadala ng Meta ang Muse: isang personal na ahente sa sarili nitong cloud VM na may sarili nitong browser, at kausapin mo ito sa WhatsApp. Sa US lang, libre sa karamihan ng mga bagay. Ipinapangako ng Meta ang isang bersyon na kahit ang Meta ay hindi mababasa, mamaya ngayong taon, isang napakapartikular na paraan ng paglalarawan ngayong taon. Nangungunang komento sa Hacker News: Ayokong ibahagi ang buhay ko sa Meta sa ganitong paraan. Pangalawa: patuloy itong nagtatangkang ibenta sa akin ang isang stroller.

4:45 Kung mas gusto mong basahin ito kaysa pakinggan ako, dumarating ang diff sa iyong inbox tuwing umaga — libre sa the daily diff dot dev, link sa ibaba. Kaya — ang hatol ngayon: NEEDS REVIEW. Nag-compile ang patunay; hindi ang kuwento. Sampung libong ahente ang sumasara sa isang siyamnapung taong gulang na problema sa isang weekend ay ang resulta ng kakayahan ng taon; ang pag-aanunsyo nito sa isang tawag sa telepono noong Linggo sa dalawang taong pinagkunan mo ng balita ay hindi.

5:07 At iyan ang diff para sa araw na ito. Ako si Niko mula sa Axrisi. Merge responsibly.

## Mga Pinagmulan

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