# OpenAIk Navier–Stokes ebatzi duela dio. Epaia: BERRIKUSI BEHAR DA.

Published: 2026-09-09

OpenAIk dio barne eredu batek, 88 orduz 10.000 agente inguru aldi berean exekutatuz, Lean-ek egiaztatutako froga bat sortu duela Navier–Stokes ekuazioek denbora finitu batean eztanda egiten dutela frogatzeko – 1934az geroztik zabalik dagoen Millennium Sariaren arazo bat. Hamabi ordu lehenago, NYUko Tristan Buckmasterrek lau orrialdeko adierazpen bat argitaratu zuen OpenAIrekin igandean izandako telefono-deiaren inguruan ("Zergatik hondatuko zenuke zure karrera?"), Terence Tao-k idatzi zuen arazo irekiak orain baliabide ez-berriztagarri gisa ustiatzen ari direla, eta Anthropic-eko aurre-entrenamendu ikertzaile batek kargua utzi zuen lasterketa zela eta. Gainera: Meta-k Muse merkaturatu du, bere VM propioa duen agente pertsonala. Epaia: BERRIKUSI BEHAR DA.

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

## Bideo honek zer jorratzen duen

- OpenAI: Navier–Stokes eztanda, ~10.000 agente, 88 ordu, 130B irteera token, Lean-ek egiaztatua
- Buckmaster eta Alpöge: urtebete ikuspegi berdinarekin, zurrumurru bat, eta igandeko deia bi eskaintzekin
- Terence Tao: "norbaitek arazo batean lanean ari den zurrumurru soil batek ere, AI-k bultzatutako ahalegin masibo bat eragin dezake hura gainditzeko"
- Jacob Coxon Anthropic-etik dimititu du: bi laborategiak "autosendatze adimen artifizial superinteligentziarantz zuzenean lasterka ari dira"
- Meta-k Muse merkaturatu du: agente pertsonala bere hodeiko VM-an, WhatsApp-en, AEBetan bakarrik

## Itzulitako transkripzioa

Jatorrizko ingelesezko narraziotik itzulia. Eskuragarri dauden audioa eta azpitituluak YouTube-k kontrolatzen ditu.

0:00 Atzo, OpenAIk iragarri zuen bere AIk Millennium Sariaren arazo bat ebatzi zuela, laurogeita hamar urte irekita, milioi bat dolar, laurogeita zortzi ordutan, eta arazo berdinean urtebete eman zuten bi matematikariek horren berri izan zuten igandean telefono-dei batean, zeinetan, haietako baten arabera, honako hau zegoen: zergatik hondatuko zenuke zure karrera? Astelehen luzea izan zen. Egunsentian NYUko irakasle batek argitaratu zuen lau orrialdeko adierazpen bat; mila seiehun puntu Hacker News-en. Arratsaldean OpenAIk froga argitaratu zuen.

0:26 Arratsaldean Terence Tao-k esan zuen arazo irekiak orain baliabide ez-berriztagarri gisa ustiatzen direla, eta gauean Anthropic-eko ikertzaile batek dimititu zuen X-n, berrogeita lau milioi ikustaldi, bi laborategiak, aipamenaren arabera, gure bizitzarekin jokoan ari direlako. Gainera, Metak WhatsApp-en bizi den agente pertsonal bat merkaturatu zuen, bere ordenagailuarekin. Bideo honetan: froga, telefono-deia, oharra, eta Terence Tao-k laborategiek entzun nahi duten esaldia.

0:49 Asteazkena da, irailaren 9a, eta hau The Daily Diff da. Matematika lehenik. Navier–Stokes-ek fluidoak nola mugitzen diren deskribatzen du, eta 1934az geroztik inork ez zekien ea 3Dko fluido leun batek singularitate bat jo dezakeen: abiadura infiniturantz doala denbora finitu batean. OpenAIren sistemak baietz dio. Geldian hasi, indar leun bat aplikatu, energia finitua mantendu, eta zurrunbilo batek barrualderantz espiralatzen du espageti bat bezala, abiadura eztanda egin arte. Clay formulazioaren C eta D adierazpenak, Lean-en,

1:16 Astraren hamazazpi ordu egiaztatzeko. Beraz, fluidoek eztanda egin dezakete, MacBook batean kafea isuri zuen edonork zekien bezala, baina orain Lean-en dago. Nola: OpenAIk Astra baino askoz ere gaiagoa dela dioen barne eredu berri bat du, eta irailaren 1ean zurrumurru bat entzun zuten Millennium arazoetako bi ebatzi zirela, beraz, irekita zegoen bakoitzari zuzendu zioten. Navier–Stokes taldea: hamar mila agente aldi berean inguru, ehun eta hogeita hamar mila milioi irteera token; hirurehun mila milioi arazo guztietan.

1:42 Astraren zerrendako prezioetan, hamabost milioi dolar token milioi bat dolarreko sari baterako OpenAIk ez duela eskatuko dio, eta marjina horrekin, nork egingo lukeen. Beste aldea. Tristan Buckmaster NYUkoak eta Levent Alpöge-k, Anthropic-en lan egiten duenak, urtebete eman zuten Córdoba eta Martínez-Zoroaren ikuspegi bat bultzatzen Claude eta Codex-ekin, OpenAIri Buckmasterren beraren ikerketa-funtsetatik ordainduz. Abuztuaren 15ean Euler ekuazioen eztanda lortu zuten; Buckmasterrek lehen LLM froga inoiz irakurri duen izugarriena dela dio,

2:10 eta abuztuaren 22an Lean-en egiaztatu zen. Orduan zurrumurru bat zabaldu zen, eta irailaren 3an OpenAIri posta elektronikoa bidali zion: gu gara, pertsonala da, laster argitaratuko dugu. Igandean 12:45ean OpenAIk gaurko edozein unetan biltzeko eskatu zuen, eta Sébastien Bubeck batu zen. Buckmasterri esan zioten ereduak indarrezko Navier–Stokes frogatu zuela oso giza-ekarpen gutxirekin, eta deian zehar talde oso bat bihurtu zen, arazo errazagoak lehenik, Codex-ek idatzitako esaldi bat, eta kalkulu izugarri bat.

2:36 Lehen esaldia noiz bidali zen galdetu zuen. Azkenean: azken egunetan, gure lanari buruzko informazioa OpenAIra iritsi ondoren. Bi eskaintza etorri ziren. Bat: zuk Euler argitaratzen duzu, guk Navier–Stokes hurrengo egunean. Bi: Buckmaster bakarrik idazten du OpenAIren froga, eta, dioenez, Bubeck-ek bitan nahi izan zuen Alpöge paperetik kanpo, Anthropic-en lan egiten duelako. Uko egin zion eta publiko egingo zuela esan zuen. Erantzuna, adierazpenaren arabera: zergatik hondatuko zenuke zure karrera,

3:00 gero: jatorra izan nahi ez baduzu, ez dut jatorra izan behar. Normalean zaldiaren burua ohean agertu aurretik datorren esaldia. OpenAIren bertsioa: inork ez zuen bere lana ikusi, ez zen erabiltzaile-daturik sartu, eta, oharra, ezin dute baztertu irakasleen produktuen erabileratik ateratako datu desidentifikatuak eredua hobetzen lagundu izana. Alpöge-ren berrikuspena: ondo egina zuzenean aitortzeagatik. Sam Altmanek dio denek jokatu zutela zintzotasunez eta eskuzabaltasunez eta beste taldeak

3:25 plagioaren salaketa funsgabeekin mehatxatu zuela, i bakar batekin idatzia. Beraz, jarrera ofiziala: ez genizun etxeko lanak kopiatu, entzun genuen etxeko lanak egiten ari zinela. Terence Tao-k irakasleen emaitza aipagarria zela esan zuen eta Buckmasterrek telefono bidez azaldu zion, AI-an oinarritutako komunikazio-modalitateetatik aldaketa freskagarri bat. Gero, lau argitalpen: arazo ireki onak orain baliabide ez-berriztagarri gisa ustiatzen direla, norbaitek batean lanean ari den zurrumurru batek ere, AI ahalegin masibo bat eragiten du hura gainditzeko, beraz, pizgarria ikerketa-norabideak partekatzeari uztea da,

3:55 mendeetako zientzia irekia alderantzikatuz. Hiru taldek fluidoen eztanda argitaratu zuten asteburu batean; hurrengo paperra NDA bat izan daiteke. Hori da Jacob Coxon-ek dimititu zuen giroa: hiru urte aurre-entrenamenduan OpenAI-n, gero Anthropic-en; enpresa batek ere ez du arduraz jokatzen, dioenez, biak autosendatze adimen artifizial superinteligentziaranzko lasterketan ari dira, eta amaiera ez litzateke enpresa pribatu baten Slack-etik abiarazi behar. Berrogeita lau milioi ikustaldi, laborategi batek hamar mila agente zurrumurru baten gainean jarri zituen egunean,

4:21 beraz, hariak zuzeneko demo batekin entregatu zen. Bitartean, Metak Muse merkaturatu zuen: agente pertsonala bere hodeiko VM propioan, bere nabigatzailearekin, eta WhatsApp-en hitz egiten duzu berarekin. AEBetan bakarrik, doakoa gauza gehienetan. Metak Meta-k ere irakurri ezin duen bertsio bat agintzen du, aurten beranduago, urte hau deskribatzeko modu oso zehatz bat. Hacker News-eko iruzkin nagusia: ez dut nire bizitza horrela Meta-rekin partekatu nahi. Bigarrena: haur-kotxe bat saltzen saiatzen jarraitzen du.

4:45 Hau irakurtzea nahiago baduzu, nik esan beharrean, diff-a zure sarrera-ontzian iristen da goizero — doan the daily diff dot dev-en, esteka beherago. Beraz — gaurko epaia: berrikusi behar da. Froga konpilatzen da; istorioak ez. Hamar mila agente laurogeita hamar urteko arazo bat asteburu batean ixtea da urteko gaitasunaren emaitza; hura iragartzea igandean telefono-dei batekin horren berri izan zenuen bi pertsonei ez da.

5:07 Eta hori da gaurko diff-a. Niko naiz Axrisi-tik. Arduraz bat egin.

## Iturriak

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