IA del día: OpenAI anuncia una prueba de singularidad en Navier–Stokes; Clay no la ha aceptado

El 8 de septiembre de 2026 (día civil en Europe/Madrid que resume este digest) OpenAI publicó que un sistema interno, «significativamente más capaz» que GPT-6 Astra, produjo una prueba analítica y una formalización en Lean de que las ecuaciones de Navier–Stokes para un fluido incompresible en tres dimensiones pueden desarrollar una singularidad en tiempo finito. El laboratorio afirma que eso resuelve el problema del Premio del Milenio al establecer los enunciados «C» y «D» de la formulación oficial de Charles L. Fefferman. El Instituto Clay de Matemáticas, en la página del problema, sigue etiquetándolo como Unsolved. OpenAI escribe que no pretende reclamar el premio de un millón de dólares. ^01,02,03

El anuncio no es un GPT, un Claude, un Gemini, un Muse, un Nemotron ni un Grok nuevo. Anthropic, Google, Meta, Microsoft, NVIDIA y SpaceXAI no sacaron un modelo frontera el martes. Doce horas antes, según Quanta, Tristan Buckmaster (Universidad de Nueva York) y Levent Alpöge (Anthropic) habían hecho públicos resultados próximos —explosión en tiempo finito con forzamiento suave para medios porosos incompresibles, Boussinesq y Euler 3D—. El mismo 8, Google DeepMind presentó AlphaGenome Atlas, una base de datos predictiva, no un sucesor de Gemini. Este resumen cierra con fuentes consultadas el 9 de septiembre de 2026. El pacto NVIDIA–Hugging Face sigue en el digest de Tecnología del 3. El martes de parches, en el de Tecnología. Ormuz, Kyiv y la CIJ, en el de Mundo. ^04,08

Una prueba anunciada no es un premio concedido

OpenAI describe un vórtice que se alarga y se estrecha, «como espagueti», hasta que la velocidad crece sin cota en tiempo finito mientras la energía permanece finita. El fluido parte del reposo; hay una fuerza suave. Eso, escribe, cumple «C» (ruptura en todo el espacio) y «D» (ruptura periódica). En el PDF de Fefferman, «A» y «B» exigen existencia y suavidad para todo tiempo con fuerza idénticamente nula; «C» y «D» piden un dato inicial suave y una fuerza suave para los que no exista solución global suave. El laboratorio no afirma «A» ni «B». ^01,03

El sistema, dice OpenAI, coordinó grupos de agentes con lectura de una internet en caché y ejecución de código. El grupo de Navier–Stokes fue del orden de 10.000 agentes concurrentes. Casi 100 agentes trabajaron unas 50 horas en una refutación de la regularidad de Euler sin fuerza. Los agentes llegaron a Navier–Stokes el sábado 5, unas 88 horas después del lanzamiento; Lean añadió 17 horas con Astra. En todos los problemas intentados, OpenAI cuenta 4,9 millones de mensajes y unos 300.000 millones de tokens de salida; en Navier–Stokes, 2,7 millones de mensajes y unos 130.000 millones de tokens. Esas cifras son del laboratorio, no una auditoría externa. ⁰¹

Quanta, el mismo 8, escribe que el resultado ha sido comprobado formalmente en Lean y que, si resiste un escrutinio posterior, sería de lejos la prueba matemática más importante obtenida por un modelo. Charles Fefferman, autor de la ficha del Clay, dijo estar «encantado de que el problema se hubiera resuelto» y situó a Diego Córdoba (ICMAT) y Luis Martínez-Zoroa (CUNEF) como «los héroes de la historia»: su programa de cascadas analíticas, no el método numérico dominante desde Hou y Luo (2013), es el que ambas vías de 2026 parecen haber completado hasta una fuerza suave. Quanta recuerda que una singularidad matemática no tiene consecuencia práctica inmediata: un fluido real no es un continuo. ⁰⁴

Dos calendarios, dos enunciados de Euler

OpenAI sitúa el rumor el 1 y el contacto con Buckmaster y Alpöge el 6, tras Lean, cuando aún creía que ellos tenían Navier–Stokes. Entonces, escribe, supo que tenían Euler forzado. Les reconoce esa prioridad y afirma que ni investigadores ni agentes vieron su trabajo antes de que lo publicaran; «no se accedió a datos específicos de usuario». Añade que, aunque lo considera improbable, «no podemos descartar» que datos desidentificados del uso de sus productos «ayudaran a mejorar nuestros modelos». Las pruebas, dice, «difieren de forma significativa»; en Euler, el resultado preciso también: forzado frente a no forzado. ⁰¹

No sé qué hizo su modelo, ni cómo. No sé si se usaron nuestros datos. No acuso a nadie de nada.

Tristan Buckmaster, en un documento publicado en el sitio del Courant Institute, citado por The Guardian el 8 de septiembre de 2026

En ese texto, Buckmaster y Alpöge atribuyen la idea de las explosiones forzadas a Córdoba y Martínez-Zoroa. Usaron varios modelos, entre ellos Claude y Codex, sobre todo GPT-5.6 Sol y, más tarde, Astra «solo para redacciones y auditoría». Dicen tener también explosión para Navier–Stokes hipodisipativo, pero no la sueltan el 8: Lean no ha terminado y «aún no hay nada que se parezca a una redacción presentable». Quanta recoge que uno de los tres artículos del 7 «solo puede describirse como basura de IA» y que adelantaron el calendario cuando el rumor llegó a OpenAI. En la rueda de prensa, Sébastien Bubeck negó, según The Guardian, que la empresa hubiera usado el trabajo de la pareja o material alojado en sus servidores. Las estimaciones de coste no coinciden: Quanta atribuye a Bubeck «varios millones de dólares»; New Scientist sitúa en unos 15 millones lo que OpenAI dijo que costaría a un cliente repetir el problema. Este digest no promedia esas cifras. ^04,05,06,07

Un catálogo predictivo, no un Gemini nuevo

Pushmeet Kohli y Žiga Avsec presentaron AlphaGenome Atlas: el modelo AlphaGenome, ya conocido, precalcula el impacto regulatorio de todos los cambios de una letra posibles —unos 9.000 millones— en un conjunto de 1 petabyte. El Atlas añade la puntuación AVI, que combina predicciones en regiones codificantes y no codificantes, y un portal «sin código». DeepMind atribuye a Laura Covill, en el Broad Institute, un caso en el gen DNM1 y a Gareth Hawkes, sobre más de 54.000 participantes del UK Biobank, un 22 % más de asociaciones no codificantes y 19 regiones ligadas al índice de masa corporal al fijarse en el 1 % de variantes de mayor impacto. Son usos que el laboratorio relata; no un ensayo clínico del 8. ⁰⁸

Qué no se sabe aún

El martes no abrió Astra a todos los planes ni publicó un Claude, un Gemini o un Grok. Dejó una afirmación matemática sin sello de Clay, una disputa de crédito sin resolución y un atlas genómico que predice, no mide.

En conjunto, el 8 de septiembre movió el calendario de la investigación matemática y dejó quieto el de los modelos frontera: una prueba anunciada, un premio no concedido y un atlas que no sustituye al laboratorio.