El Clay Mathematics Institute ha reconocido públicamente por primera vez que el problema de existencia y suavidad de Navier-Stokes (uno de los siete problemas del Premio del Milenio) "aparentemente ha sido resuelto". La declaración, publicada en el sitio web del instituto el viernes, traslada una de las historias de inteligencia artificial y matemáticas más controvertidas del año al proceso formal de evaluación de premios del instituto, al tiempo que deja igualmente claro que no se ha otorgado ningún premio ni se ha respaldado ninguna prueba.
"Hoy, CMI comparte el entusiasmo de la comunidad matemática global al contemplar el anuncio de que el problema de Navier-Stokes aparentemente se ha resuelto", escribió el instituto en el anuncio, fechado el 11 de septiembre de 2026. "Esperamos ver oleadas de nueva comprensión humana desatadas a medida que se analizan e interrogan las innovaciones detrás de este trabajo". Para más contexto sobre esta historia, consulta nuestra novedades de IA.
Por qué es importante la declaración
El lenguaje medido del instituto está trabajando mucho y cada palabra fue analizada en cuestión de horas en Hacker News, donde el anuncio obtuvo más de 100 puntos. Lo que no dice la declaración es tan significativo como lo que dice: el Clay Mathematics Institute no nombra a OpenAI, no confirma que ninguna prueba específica sea correcta y no otorga un premio.
El contexto explica la moderación. El 8 de septiembre, OpenAI publicó una supuesta solución al problema de Navier-Stokes, afirmando que un sistema interno de IA (descrito por la compañía como significativamente más capaz que su modelo GPT-6 Astra) había producido tanto una prueba analítica como una verificación formal en el asistente de prueba Lean. El anuncio inmediatamente se centró tanto en el crédito como en la computación, porque dos matemáticos académicos publicaron artículos estrechamente relacionados el mismo día, y los investigadores presionaron a OpenAI sobre cuyo trabajo había informado el resultado de la máquina.
Ahora que el instituto reconoce que el problema "aparentemente ha sido resuelto", la disputa cambia de terreno: del ping-pong de comunicados de prensa al procedimiento de evaluación del Premio del Milenio, que el instituto califica de "deliberadamente pausado".
Lo que plantea el problema Navier-Stokes
El problema se refiere a la existencia y suavidad de las soluciones de las ecuaciones de Navier-Stokes en el espacio euclidiano tridimensional: las ecuaciones que describen cómo se mueven fluidos como el agua y el aire. Aunque estas ecuaciones son utilizadas diariamente por ingenieros, meteorólogos y aerodinámicos, los matemáticos nunca han demostrado que siempre existan soluciones suaves y físicamente razonables en tres dimensiones, o que se comporten de manera predecible en lugar de desarrollar singularidades.
El Instituto Clay de Matemáticas dio a conocer los Problemas del Premio del Milenio en una reunión celebrada en París en 2000, asignando un premio de 1 millón de dólares a cada uno de los siete problemas, que también incluyen la Hipótesis de Riemann y P versus NP. En su declaración del viernes, el instituto reiteró su fundamento original: elevar la conciencia pública de que la frontera matemática está abierta y reconocer "logros en matemáticas de magnitud histórica".
Sólo uno de los siete problemas, la Conjetura de Poincaré, ha sido resuelto: Grigori Perelman en un trabajo publicado en 2002 y 2003, por el que rechazó tanto la Medalla Fields como el premio en metálico.
Una evaluación 'deliberadamente pausada' por delante
El anuncio del instituto señala las bases del premio como marco rector de lo que sucederá a continuación. "Las normas que rigen los premios describen el proceso de evaluación de los logros y de asignación de créditos", se lee en el comunicado. "El proceso se realiza deliberadamente sin prisas, pero proporcionaremos actualizaciones".
Esa frase deja abiertas varias cuestiones que la comunidad matemática está ahora debatiendo abiertamente. La verificación es el primer obstáculo: una prueba de la fluidez de Navier-Stokes normalmente requeriría muchos meses para que un comité de expertos la verificara línea por línea. La afirmación de OpenAI de que su resultado incluye una formalización verificada por máquina en Lean podría, en principio, comprimir dramáticamente esa línea de tiempo, ya que la verificación formal reduce la cuestión de la corrección a lo que aceptará un asistente de pruebas. Pero el instituto no ha dicho si se le ha presentado dicha formalización, quiénes son los árbitros o cómo se repartirá el crédito entre el sistema de IA, sus creadores en OpenAI y los matemáticos académicos cuyos artículos relacionados aparecieron la misma semana.
La declaración tampoco aborda si una solución atribuible en parte significativa a un sistema de inteligencia artificial califica para un premio destinado, en el lenguaje fundacional del instituto, a reconocer los logros matemáticos humanos, una cuestión sin precedentes en los 26 años de historia del premio.
La tensión detrás del anuncio
El anuncio llega en un momento extraordinariamente delicado para la intersección de la IA y las matemáticas. El viernes, un grupo de 25 medallistas Fields, incluido Terence Tao, publicó una declaración formal advirtiendo que la carrera por exhibir sistemas de IA en puntos de referencia matemáticos está dañando tanto a la ciencia como a la comunidad que la sustenta; una declaración que reunió a más de 1.300 patrocinadores adicionales en un día, como informó anteriormente AI Buzz Wire.
Los dos documentos se leen casi como respuestas entre sí. La declaración de los matemáticos advierte contra el tratamiento de los problemas profundos como trofeos de referencia; El anuncio del instituto, si bien acoge el resultado, enmarca deliberadamente el momento en torno a la comprensión más que a la victoria, con la esperanza de ver "olas de nueva comprensión humana desatadas a medida que se analizan e interrogan las innovaciones detrás de este trabajo".
Incluso el propio relato del instituto sobre el campo circundante reconoce el cambio: "La creciente capacidad de las nuevas tecnologías para acelerar la investigación matemática ha aumentado este sentido de anticipación", señala la declaración, atribuyendo a los recientes avances en áreas adyacentes -algunos reconocidos por el Premio Clay de Investigación- las esperanzas de que Navier-Stokes pronto caiga.
¿Qué viene después?
Por ahora, la conclusión práctica es estrecha pero real: el instituto propietario del problema ha dejado constancia de que considera que el problema está aparentemente resuelto y se ha comprometido a realizar actualizaciones públicas a medida que avanza su evaluación. Si el trabajo sobrevive al escrutinio, sería el segundo Problema del Milenio resuelto, el primero en dos décadas, y el primero en la historia atribuible en parte a un sistema de inteligencia artificial, una distinción que determinará cómo las instituciones matemáticas manejarán el próximo reclamo de este tipo.
El instituto ha pedido paciencia. Dado que el proceso es, por diseño, deliberadamente pausado, las preguntas de la comunidad (sobre la prueba, el crédito y el papel de la máquina que lo produjo) serán respondidas en la línea de tiempo del instituto, no en la del ciclo de noticias.
---
Mantente al Día con la IALas últimas noticias, análisis y avances de inteligencia artificial, en un solo lugar.
Leer más noticias de IA →
