# OpenAI di que resolveu Navier–Stokes. Veredicto: NECESITA REVISIÓN.

Published: 2026-09-09

OpenAI di que un modelo interno, executado como uns 10.000 axentes concorrentes durante 88 horas, produciu unha proba verificada por Lean de que as ecuacións de Navier–Stokes explotan en tempo finito — un problema do Premio do Milenio aberto desde 1934. Doce horas antes, Tristan Buckmaster da NYU publicou unha declaración de catro páxinas sobre como foi a chamada telefónica do domingo con OpenAI ("Por que arruinarías a túa carreira?"), Terence Tao escribiu que os problemas abertos agora están sendo explotados como un recurso non renovable, e un investigador de preentrenamento de Anthropic dimitiu pola carreira. Tamén: Meta SHIP IT Muse, un axente persoal coa súa propia VM. Veredicto: NECESITA REVISIÓN.

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

## Que abrangue este vídeo

- OpenAI: explosión de Navier–Stokes, ~10.000 axentes, 88 horas, 130B de tokens de saída, verificado por Lean
- Buckmaster e Alpöge: un ano coa mesma aproximación, un rumor e unha chamada de domingo con dúas ofertas
- Terence Tao: "incluso o rumor de que alguén traballa nun problema pode desencadear un esforzo masivo impulsado pola IA para resolvelo"
- Jacob Coxon dimite de Anthropic: ambos os laboratorios están "correndo directamente cara á superintelixencia auto-mellorable"
- Meta SHIP IT Muse: un axente persoal na súa propia VM na nube, en WhatsApp, só para EE. UU.

## Transcrición traducida

Traducido da narración orixinal en inglés. O audio e os subtítulos dispoñibles son controlados por YouTube.

0:00 Onte, OpenAI anunciou que a súa IA resolveu un problema do Premio do Milenio, noventa anos aberto, un millón de dólares, en oitenta e oito horas, e os dous matemáticos que pasaron un ano co mesmo problema souberon diso nunha chamada telefónica do domingo que, segundo un deles, incluía: por que arruinarías a túa carreira? Foi un luns longo. Ao amencer, un profesor da NYU publicou unha declaración de catro páxinas; mil seiscentos puntos en Hacker News. Pola tarde OpenAI publicou a proba.

0:26 Pola noite, Terence Tao dixo que os problemas abertos agora son explotados como un recurso non renovable, e durante a noite un investigador de Anthropic dimitiu en X, corenta e catro millóns de visualizacións, porque ambos os laboratorios están, cito, xogando coas nosas vidas. Ademais, Meta SHIP IT un axente persoal que vive en WhatsApp e ten o seu propio ordenador. Neste vídeo: a proba, a chamada telefónica, a nota a pé de páxina, e a frase que Terence Tao quere que os laboratorios escoiten.

0:49 É mércores, 9 de setembro, e este é The Daily Diff. As matemáticas primeiro. Navier–Stokes describe como se moven os fluídos, e desde 1934 ninguén sabía se un fluído 3D suave pode alcanzar unha singularidade: velocidade infinita en tempo finito. O sistema de OpenAI di que si. Comeza en repouso, aplica unha forza suave, mantén a enerxía finita, e un vórtice xira cara a dentro como espaguetes ata que a velocidade se dispara. Declaracións C e D da formulación de Clay, en Lean,

1:16 dezasete horas de Astra para verificar. Entón os fluídos poden explotar, o que calquera que derramou café nun MacBook sabía, pero agora está en Lean. Como: OpenAI ten un novo modelo interno que chama significativamente máis capaz que Astra, e o 1 de setembro escoitaron un rumor de que dous problemas do Milenio foran resolvidos, así que o dirixiron a cada un dos abertos. O grupo Navier–Stokes: uns dez mil axentes concorrentes, cento trinta mil millóns de tokens de saída; trescentos mil millóns en todos os

1:42 problemas. A prezos de lista de Astra, quince millóns de dólares en tokens para un premio dun millón de dólares que OpenAI di que non reclamará, e con esa marxe, quen o faría. O outro lado. Tristan Buckmaster na NYU e Levent Alpöge, que traballa en Anthropic, pasaron un ano impulsando unha aproximación de Córdoba e Martínez-Zoroa con Claude e Codex, pagando a OpenAI con fondos de investigación propios de Buckmaster. O 15 de agosto conseguiron unha explosión para as ecuacións de Euler; Buckmaster chama á primeira proba de LLM a máis horrenda que xamais leu,

2:10 e verificouse en Lean o 22 de agosto. Entón, un rumor estendeuse, e o 3 de setembro enviou un correo electrónico a OpenAI: somos nós, é persoal, publicaremos pronto. O domingo ás 12:45 OpenAI pediu reunirse en calquera momento dese día, e Sébastien Bubeck uniuse. A Buckmaster díxoselle que o modelo probara Navier–Stokes forzado con moi pouca intervención humana, o que durante a chamada se converteu nun equipo enteiro, problemas máis fáciles primeiro, unha solicitude escrita por Codex, e unha cantidade tola de

2:36 cálculo. Preguntou cando se enviou a primeira solicitude. Finalmente: nos últimos días, despois de que a información sobre o noso traballo chegara a OpenAI. Seguiron dúas ofertas. Unha: vós publicades Euler, nós publicamos Navier–Stokes ao día seguinte. Dúas: Buckmaster só redacta a proba de OpenAI, e, di, Bubeck quixo dúas veces que Alpöge non estivese no artigo porque traballa en Anthropic. El rexeitou e dixo que o faría público. A resposta, segundo a declaración: por que arruinarías a túa carreira,

3:00 despois: se non queres que sexa amable, non teño por que selo. Normalmente a liña xusto antes de que unha cabeza de cabalo apareza nunha cama. A versión de OpenAI: ninguén viu o seu traballo, non se accederon a datos de usuario, e, nota a pé de páxina, non poden descartar que datos desidentificados do uso dos produtos dos profesores axudasen a mellorar o modelo. A revisión de Alpöge: parabéns por ser honestos. Sam Altman di que todos actuaron con integridade e xenerosidade e o outro equipo

3:25 ameazou con acusacións infundadas de plaxio, escrito cun só i. Entón a posición oficial: non copiamos os vosos deberes, escoitamos que estabades a facer deberes. Terence Tao chamou o resultado dos profesores notable e sinalou que Buckmaster llo explicou por teléfono, un cambio refrescante das modalidades de comunicación baseadas na IA. Despois, catro publicacións: os bos problemas abertos agora explótanse como un recurso non renovable, incluso un rumor de que alguén traballa nun activa un esforzo masivo da IA para resolvelo, polo que o incentivo é deixar de compartir direccións de investigación,

3:55 invertendo séculos de ciencia aberta. Tres grupos publicaron unha explosión de fluídos nunha fin de semana; o próximo artigo pode ser un NDA. Ese é o estado de ánimo no que Jacob Coxon dimitiu: tres anos de preentrenamiento en OpenAI, despois Anthropic; ningunha das empresas está actuando de forma responsable, di, ambas están correndo cara á superintelixencia auto-mellorable, e o final do xogo non debería lanzarse desde o Slack dunha empresa privada. Corenta e catro millóns de visualizacións, o día en que un laboratorio puxo dez mil axentes nun rumor,

4:21 polo que o fío incluíu unha demostración en vivo. Mentres tanto, Meta SHIP IT Muse: un axente persoal na súa propia VM na nube co seu propio navegador, e fálalle en WhatsApp. Só para EE. UU., gratuíto para a maioría das cousas. Meta promete unha versión que nin sequera Meta pode ler, a finais deste ano, unha forma moi específica de describir este ano. Comentario principal de Hacker News: Non quero compartir a miña vida con Meta así. Segundo: segue intentando venderme un carriño.

4:45 Se prefires ler isto en lugar de escoitarme dicilo, o diff chega á túa caixa de entrada cada mañá — gratuíto en the daily diff dot dev, ligazón a continuación. Entón — o veredicto de hoxe: NECESITA REVISIÓN. A proba compila; a historia non. Dez mil axentes pechando un problema de noventa anos nunha fin de semana é o resultado de capacidade do ano; anuncialo cunha chamada telefónica de domingo ás dúas persoas das que escoitaches falar diso non o é.

5:07 E ese é o diff de hoxe. Son Niko de Axrisi. Combina con responsabilidade.

## Fontes

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