# OpenAI dice haber resuelto Navier–Stokes. Veredicto: NEEDS REVIEW.

Published: 2026-09-09

OpenAI dice que un modelo interno, ejecutado como aproximadamente 10,000 agentes concurrentes durante 88 horas, produjo una prueba verificada por Lean de que las ecuaciones de Navier–Stokes explotan en tiempo finito, un problema del Premio del Milenio abierto desde 1934. Doce horas antes, Tristan Buckmaster de NYU publicó una declaración de cuatro páginas sobre cómo fue la llamada telefónica del domingo con OpenAI ("¿Por qué arruinarías tu carrera?"), Terence Tao escribió que los problemas abiertos ahora están siendo extraídos como un recurso no renovable, y un investigador de preentrenamiento de Anthropic renunció debido a la carrera. Además: Meta lanza Muse, un agente personal con su propia VM. Veredicto: NEEDS REVIEW.

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

## Lo que cubre este video

- OpenAI: explosión de Navier–Stokes, ~10,000 agentes, 88 horas, 130 mil millones de tokens de salida, verificado por Lean
- Buckmaster y Alpöge: un año con el mismo enfoque, un rumor y una llamada dominical con dos ofertas
- Terence Tao: "incluso el rumor de alguien trabajando en un problema puede desencadenar una cantidad masiva de esfuerzo impulsado por IA para resolverlo"
- Jacob Coxon renuncia a Anthropic: ambos laboratorios están "corriendo directamente hacia la superinteligencia auto-mejorada"
- Meta lanza Muse: un agente personal en su propia VM en la nube, en WhatsApp, solo en EE. UU.

## Transcripción traducida

Traducido de la narración original en inglés. El audio y los subtítulos disponibles son controlados por YouTube.

0:00 Ayer, OpenAI anunció que su IA resolvió un problema del Premio del Milenio, noventa años abierto, un millón de dólares, en ochenta y ocho horas, y los dos matemáticos que pasaron un año en el mismo problema se enteraron en una llamada telefónica de domingo que, según uno de ellos, incluyó: ¿por qué arruinarías tu carrera? Fue un lunes largo. Al amanecer, un profesor de NYU publicó una declaración de cuatro páginas; mil seiscientos puntos en Hacker News. Por la tarde, OpenAI publicó la prueba.

0:26 Por la noche, Terence Tao dijo que los problemas abiertos ahora se explotan como un recurso no renovable, y de la noche a la mañana un investigador de Anthropic renunció en X, cuarenta y cuatro millones de visitas, porque ambos laboratorios están, cito, jugándose nuestras vidas. Además, Meta lanzó un agente personal que vive en WhatsApp y tiene su propio computadora. En este video: la prueba, la llamada telefónica, la nota al pie, y la frase que Terence Tao quiere que escuchen los laboratorios.

0:49 Es miércoles, 9 de septiembre, y esto es The Daily Diff. Primero las matemáticas. Navier–Stokes describe cómo se mueven los fluidos, y desde 1934 nadie sabía si un fluido 3D suave puede alcanzar una singularidad: velocidad que se vuelve infinita en tiempo finito. El sistema de OpenAI dice que sí. Comience en reposo, aplique una fuerza suave, mantenga la energía finita, y un vórtice se enrosca hacia adentro como espagueti hasta que la velocidad explota. Declaraciones C y D de la formulación de Clay, en Lean,

1:16 diecisiete horas de Astra para verificar. Así que los fluidos pueden explotar, lo que cualquiera que derramó café en un MacBook sabía, pero ahora está en Lean. Cómo: OpenAI tiene un nuevo modelo interno al que llama significativamente más capaz que Astra, y el 1 de septiembre escucharon un rumor de que se habían resuelto dos problemas del Milenio, así que lo dirigieron a todos los problemas abiertos. El grupo Navier–Stokes: unos diez mil agentes concurrentes, ciento treinta mil millones de tokens de salida; trescientos mil millones en todos

1:42 los problemas. A los precios de lista de Astra, quince millones de dólares en tokens para un premio de un millón de dólares que OpenAI dice que no reclamará, y con ese margen, quién lo haría. El otro lado. Tristan Buckmaster de NYU y Levent Alpöge, quien trabaja en Anthropic, pasaron un año impulsando un enfoque de Córdoba y Martínez-Zoroa con Claude y Codex, pagando a OpenAI con los propios fondos de investigación de Buckmaster. El 15 de agosto obtuvieron la explosión para las ecuaciones de Euler; Buckmaster llama a la primera prueba de LLM la más horrenda que jamás haya leído,

2:10 y se verificó en Lean el 22 de agosto. Luego se corrió un rumor, y el 3 de septiembre le envió un correo electrónico a OpenAI: somos nosotros, es personal, publicaremos pronto. El domingo a las 12:45 OpenAI pidió reunirse en cualquier momento del día, y Sébastien Bubeck se unió. A Buckmaster se le dijo que el modelo había probado las ecuaciones de Navier–Stokes forzadas con muy poca intervención humana, lo que durante la llamada se convirtió en un equipo completo, problemas más fáciles primero, un prompt escrito por Codex, y una cantidad insana de

2:36 computación. Preguntó cuándo se envió el primer prompt. Eventualmente: en los últimos días, después de que la información sobre nuestro trabajo hubiera llegado a OpenAI. Siguieron dos ofertas. Una: ustedes publican Euler, nosotros publicamos Navier–Stokes al día siguiente. Dos: Buckmaster solo redacta la prueba de OpenAI, y, dice, Bubeck quiso dos veces que Alpöge no participara en el artículo porque trabaja en Anthropic. Él se negó y dijo que lo haría público. La respuesta, según la declaración: ¿por qué arruinarías tu carrera,

3:00 luego: si no quieres que sea amable, no tengo que ser amable. Normalmente la línea justo antes de que una cabeza de caballo aparezca en una cama. La versión de OpenAI: nadie vio su trabajo, no se accedió a datos de usuario, y, nota al pie, no pueden descartar que datos desidentificados del uso de los productos de los profesores ayudaron a mejorar el modelo. La reseña de Alpöge: felicitaciones por ser honestos. Sam Altman dice que todos actuaron con integridad y generosidad y el otro equipo

3:25 amenazó con acusaciones infundadas de plagio, escrito con una i. Así que la posición oficial: no copiamos su tarea, escuchamos que estaban haciendo tarea. Terence Tao calificó el resultado de los profesores de notable y señaló que Buckmaster se lo explicó por teléfono, un cambio refrescante de las modalidades de comunicación basadas en IA. Luego, cuatro publicaciones: los buenos problemas abiertos ahora se explotan como un recurso no renovable, incluso un rumor de que alguien trabaja en uno desencadena un esfuerzo masivo de IA para resolverlo, por lo que el incentivo es dejar de compartir direcciones de investigación,

3:55 revirtiendo siglos de ciencia abierta. Tres grupos publicaron la explosión de fluidos en un fin de semana; el próximo artículo puede ser un NDA. Ese es el estado de ánimo en el que Jacob Coxon renunció: tres años de preentrenamiento en OpenAI, luego Anthropic; ninguna de las compañías está actuando de manera responsable, dice, ambas están corriendo hacia la superinteligencia auto-mejorada, y el juego final no debería lanzarse desde el Slack de una empresa privada. Cuarenta y cuatro millones de visitas, el día que un laboratorio puso diez mil agentes en un rumor,

4:21 así que el hilo se envió con una demo en vivo. Mientras tanto, Meta lanzó Muse: un agente personal en su propia VM en la nube con su propio navegador, y le hablas en WhatsApp. Solo en EE. UU., gratis para la mayoría de las cosas. Meta promete una versión que ni siquiera Meta puede leer, a finales de este año, una forma muy específica de describir este año. El comentario principal de Hacker News: No quiero compartir mi vida con Meta de esta manera. Segundo: sigue intentando venderme un cochecito.

4:45 Si prefieres leer esto que oírme decirlo, la diferencia llega a tu bandeja de entrada cada mañana — gratis en the daily diff dot dev, enlace abajo. Así que — el veredicto de hoy: necesita revisión. La prueba se compila; la historia no. Diez mil agentes cerrando un problema de noventa años en un fin de semana es el resultado de capacidad del año; anunciarlo con una llamada telefónica de domingo a las dos personas de quienes te enteraste no lo es.

5:07 Y esa es la diferencia de hoy. Soy Niko de Axrisi. Fusiona responsablemente.

## Fuentes

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