OpenAI dice haber resuelto el problema de Navier-Stokes: qué sabemos
Aviso de transparencia (Reglamento de IA de la UE, art. 50): este artículo ha sido redactado con apoyo de inteligencia artificial y verificado por el equipo editorial de IAGeducación antes de su publicación.
OpenAI anunció el martes que un modelo interno, todavía no disponible para el público, había producido una demostración del problema de Navier-Stokes, una de las siete cuestiones matemáticas sin resolver que forman los célebres Problemas del Milenio del Clay Mathematics Institute. El anuncio, acompañado de una formalización en el asistente de pruebas Lean, ha generado tanto entusiasmo como una agria disputa académica sobre la autoría real del hallazgo y sobre qué papel debe jugar la IA en la investigación matemática.
¿Qué ha demostrado OpenAI sobre el problema de Navier-Stokes?
Conviene precisar qué se ha resuelto, porque los titulares simplifican en exceso. El problema de Navier-Stokes plantea si un fluido tridimensional, suave en su estado inicial, puede desarrollar una singularidad -una explosión matemática en tiempo finito- bajo las ecuaciones que rigen el movimiento de líquidos y gases. OpenAI afirma haber demostrado que sí ocurre en el caso concreto de un fluido inicialmente en reposo al que se aplica una fuerza externa suave, estableciendo así los enunciados oficiales «C» y «D» del propio Clay Mathematics Institute.
Es decir: no se trata de la versión «limpia» del problema, sin fuerzas externas, que es la que más suele citarse en divulgación. El propio comunicado de OpenAI, publicado en su blog oficial, reconoce esta matización y describe el resultado como «una instantánea del progreso», no como un cierre definitivo de la cuestión. Según la empresa, el proceso implicó cerca de 10.000 agentes de IA trabajando en paralelo durante 88 horas, con un coste de varios millones de dólares en cómputo.
La disputa por la autoría con Anthropic y la Universidad de Nueva York
Horas antes del anuncio de OpenAI, el matemático Tristan Buckmaster (Universidad de Nueva York) y Levent Alpöge, investigador de Anthropic, hicieron públicos sus propios avances sobre explosión en tiempo finito para las ecuaciones de Euler forzadas, un problema relacionado pero distinto. Ambos llevaban casi un año trabajando en esa línea con apoyo de modelos de IA, incluidos Claude y Codex. OpenAI sostiene que su equipo llegó a su propia demostración de forma independiente el 6 de septiembre, tras conocer rumores del avance rival, y que ofreció después un anuncio conjunto al descubrir que ambos trabajos abordaban problemas distintos.
La compañía niega que sus agentes tuvieran acceso al trabajo de Buckmaster y Alpöge antes de completar su propia prueba, y afirma reconocer la prioridad de estos investigadores en el problema de Euler forzado. Aun así, el episodio ha reavivado el debate sobre la carrera entre laboratorios de IA por reclamar hitos matemáticos y sobre si esa competencia beneficia o distorsiona a la comunidad científica.
Qué dice Terence Tao: la advertencia previa al anuncio
Terence Tao, medalla Fields y considerado por muchos el matemático vivo más destacado, había publicado días antes del anuncio una advertencia en la red Mathstodon sobre el coste de convertir problemas abiertos históricamente productivos en «momentos virales de benchmark» para la IA. Tras el anuncio, Tao elogió el trabajo de Buckmaster y Alpöge como «un logro extraordinario», pero no ha respaldado públicamente la demostración concreta que reclama OpenAI.
Tao comparó el uso de la IA para saltar directamente a la solución con «ver una película y pasar de los primeros diez minutos a los últimos diez»: la trama se resuelve, pero se pierde buena parte del valor de recorrer el camino. Otros matemáticos consultados por medios internacionales matizan que la solución no difiere sustancialmente de líneas de trabajo que ya exploraban investigadores humanos, y que el mérito de la IA está más en la velocidad de ejecución que en una intuición genuinamente nueva.
¿Está confirmado el logro? El estado real de la verificación
No, todavía no. OpenAI ha publicado la demostración analítica y su formalización en Lean para que cualquier matemático pueda revisarla, pero el resultado no ha sido validado de forma independiente ni aceptado por el Clay Mathematics Institute, la única entidad que puede certificar oficialmente la resolución de un Problema del Milenio. La compañía ha declarado que no tiene intención de reclamar el millón de dólares del premio. Hasta la fecha, solo la conjetura de Poincaré, resuelta por Grigori Perelman en 2003, ha sido reconocida oficialmente como resuelta.
Qué significa esto en la práctica: usos y límites reales
Para el público general, la pregunta clave es qué se puede hacer con este avance. La respuesta honesta es: de forma inmediata, poco a nivel aplicado. Las ecuaciones de Navier-Stokes ya se usan a diario en aeronáutica, previsión meteorológica o simulación del flujo sanguíneo mediante métodos numéricos aproximados; esta prueba no cambia esas herramientas de ingeniería, porque responde a una pregunta de existencia matemática pura, no ofrece un nuevo método de cálculo práctico.
El valor real está en otro terreno: como demostración de que sistemas de IA pueden producir razonamiento matemático de nivel investigador cuando se combinan con verificación formal en Lean, lo que permite comprobar la validez lógica de una prueba sin depender solo de la confianza en el modelo que la generó. Para el aula, es un ejemplo útil de dos ideas: que la IA puede acelerar drásticamente ciertos procesos de exploración simbólica, y que la comunidad científica exige siempre verificación independiente antes de dar algo por demostrado, sea cual sea la fuente.
El caso del problema de Navier-Stokes deja además una lección de alfabetización mediática: un titular que dice «resuelto» puede esconder matices importantes -en este caso, que se trata de una variante forzada del problema, no de la versión general- y una disputa de prioridad sin resolver entre laboratorios rivales. Verificar la fuente original antes de dar por buena la noticia sigue siendo, también en la era de la IA, el primer paso.
Fuentes
- OpenAI: «On the Navier-Stokes Millennium Prize Problem»
- CNN en Español, cobertura de la reacción de Terence Tao (9 de septiembre de 2026)
- Infobae / The New York Times, cobertura del anuncio y sus críticos (9 de septiembre de 2026)
- DataCamp, análisis de la disputa de autoría y el estado de verificación (9 de septiembre de 2026)
Aviso de transparencia (art. 50 del Reglamento de IA de la UE): este contenido ha sido generado con asistencia de inteligencia artificial y revisado por un editor humano. Las fuentes utilizadas se citan a continuación.
