Lo que OpenAI ha puesto en línea
OpenAI ha publicado el material que sustenta su afirmación de haber encontrado una singularidad en tiempo finito en las ecuaciones de Navier-Stokes en tres dimensiones: un informe en su propia web, un artículo y archivos de prueba verificables por máquina en un repositorio público de GitHub. La compañía ha dicho que no tiene intención de reclamar el premio de un millón de dólares del Clay Mathematics Institute.
Ese es el cambio respecto al lunes, cuando la afirmación solo existía como una descripción que circulaba entre investigadores. El repositorio contiene formalizaciones en Lean 4, construidas sobre Mathlib y publicadas bajo licencia Apache 2.0, para dos casos de Navier-Stokes con viscosidad positiva —uno en todo el espacio y otro en el toro periódico— y para una construcción complementaria de Euler. Cualquiera con Lean instalado puede ejecutar el certificado en lugar de aceptar la afirmación por confianza.
Las cifras que declara OpenAI
Los datos de cómputo proceden de OpenAI y no han sido auditados de forma independiente. La empresa dice que el trabajo empleó un modelo interno que describe como notablemente más capaz que GPT-6 Astra, y que unos 10.000 agentes funcionaron en paralelo durante unas 88 horas a principios de septiembre, generando del orden de 130.000 millones de tokens de salida. Otras 17 horas aproximadamente, según informó The Next Web, se dedicaron a formalizar el argumento con GPT-6 Astra.
Eso son insumos, no pruebas. La prueba es el archivo de Lean, y a Lean no le importa cuántos agentes lo escribieron.
Por qué no reclama el premio
La formulación de Clay del problema de Navier-Stokes se divide en cuatro enunciados. OpenAI dice que su resultado establece los enunciados C y D: las alternativas de ruptura, que resuelven el problema exhibiendo una solución que deja de ser suave. Y dice también que no reclamará el premio.
El motivo está en la construcción. El fluido parte del reposo y se le aplica una fuerza externa suave durante todo el proceso, y la singularidad se desarrolla bajo esa fuerza. Si un ejemplo forzado cuenta para la pregunta clásica es un juicio que corresponde a los matemáticos y a Clay, no a un asistente de pruebas. La propia página del instituto sigue listando Navier-Stokes como problema abierto.
La disputa por el crédito sigue abierta
El resultado aterriza en medio de una discusión que Aivio News contó el lunes. Tristan Buckmaster, de la Universidad de Nueva York, y Levent Alpöge, de Anthropic, publicaron sus propias pruebas de explosión asistidas por IA y verificadas en Lean para las ecuaciones del medio poroso, Boussinesq y Euler, y Buckmaster difundió un comunicado en el que describe cómo OpenAI le abordó sobre el calendario y la autoría del resultado de Navier-Stokes. Sébastien Bubeck, de OpenAI, calificó ese relato de falso e incendiario.
Quanta Magazine informó de que Charles Fefferman, de Princeton, autor del enunciado oficial del problema, llamó a Diego Córdoba y Luis Martínez-Zoroa los héroes de esta historia: la pareja cuyo método no computacional sirve de base a ambos esfuerzos.
Qué vigilar
Dos cosas son ahora comprobables en lugar de discutibles. La primera es si matemáticos independientes compilan los archivos de Lean y confirman que demuestran lo que dice el informe. La segunda es si el Clay Mathematics Institute se pronuncia sobre los términos de forzamiento. Hasta entonces, la descripción honesta es que existe una singularidad verificada por máquina y que su relación con la pregunta del premio sigue sin resolverse.
