OpenAI asegura que una IA ha demostrado una parte clave del problema de Navier-Stokes
OpenAI ha anunciado que un modelo interno de inteligencia artificial ha producido una prueba matemática formal relacionada con el problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio. La compañía describe el sistema como significativamente más capaz que GPT-6 Astra, aunque no ha revelado su nombre ni ha anunciado planes para ponerlo a disposición del público.
El resultado, todavía pendiente de revisión independiente, no cierra por completo el problema ni permite reclamar el premio de un millón de dólares del Instituto Clay de Matemáticas. OpenAI reconoce que su demostración cubre dos de los cuatro enunciados exigidos para considerar resuelto el desafío en su totalidad.
Qué pregunta plantea Navier-Stokes
Las ecuaciones de Navier-Stokes se utilizan para describir el movimiento de los fluidos, desde el agua y el aire hasta gases y líquidos en sistemas industriales. Son fundamentales en campos como la aeronáutica, la meteorología, la ingeniería y la medicina.
El problema matemático no consiste en encontrar una solución concreta para un fluido determinado, sino en demostrar si las ecuaciones siempre producen soluciones suaves y continuas. En términos sencillos, los investigadores quieren saber si el comportamiento descrito por las ecuaciones puede mantenerse estable o si, en determinadas condiciones, aparece una singularidad.
Una singularidad es un punto en el que una magnitud matemática crece sin control y las ecuaciones dejan de comportarse de forma regular. En dinámica de fluidos, este fenómeno se conoce habitualmente como blowup o explosión en tiempo finito: un remolino podría concentrarse y girar cada vez más deprisa en un intervalo limitado.
Una prueba formalizada en Lean
Según OpenAI, el sistema ha encontrado una configuración en la que se produce ese tipo de explosión, mientras la energía total del fluido permanece acotada. La compañía sostiene que la demostración ha sido formalizada en Lean, un lenguaje y sistema de verificación utilizado para traducir argumentos matemáticos a pasos que un ordenador puede comprobar.
Esta formalización es uno de los elementos más relevantes del anuncio. Una prueba matemática tradicional puede contener errores, pasos incompletos o supuestos que no se han explicado con suficiente precisión. En cambio, un certificado validado por Lean permite comprobar automáticamente que cada paso respeta las reglas definidas en el sistema formal.
La verificación informática no sustituye a la revisión de los matemáticos. Sí ofrece, sin embargo, una forma especialmente estricta de detectar contradicciones o saltos lógicos. La comunidad tendrá que analizar además si el modelo formal representa exactamente el problema planteado por el Instituto Clay y si las hipótesis empleadas son las adecuadas.
Diez mil agentes y millones de dólares en computación
El trabajo habría movilizado a 10.000 agentes de IA en paralelo durante 88 horas, con un coste de computación estimado en millones de dólares. Un agente de IA es un sistema capaz de ejecutar tareas, proponer estrategias y evaluar resultados de manera parcialmente autónoma.
El proceso comenzó con una versión simplificada basada en las ecuaciones de Euler forzadas, que describen un tipo de flujo idealizado y no incluyen todos los efectos de viscosidad presentes en Navier-Stokes. En esa primera fase participaron 1.000 agentes durante unas 50 horas.
Tras obtener resultados prometedores, OpenAI amplió la búsqueda al problema completo. El sistema generó 249 páginas de argumentos matemáticos y otras 62 páginas con notas de razonamiento paso a paso, documentos que deberán ser estudiados por especialistas antes de extraer conclusiones definitivas.
No es todavía el segundo Problema del Milenio resuelto
El Instituto Clay planteó en 2000 siete grandes desafíos matemáticos, cada uno con un premio de un millón de dólares. Hasta ahora, solo la Conjetura de Poincaré ha sido resuelta, gracias al trabajo del matemático Grigori Perelman, publicado a comienzos de la década de 2000.
El resultado anunciado por OpenAI podría representar un avance histórico, pero no equivale a la resolución completa de Navier-Stokes. La empresa ha indicado expresamente que no reclamará el Premio del Milenio por esta demostración, una decisión coherente con el hecho de que aún quedan partes del enunciado por cerrar y falta una evaluación independiente.
Además, que las ecuaciones admitan soluciones singulares en un contexto matemático no significa que todos los fluidos reales se comporten de esa forma. Los modelos físicos son aproximaciones y, en el mundo real, intervienen factores como la estructura molecular, la temperatura o la compresibilidad. El hallazgo ayudaría a delimitar las condiciones en las que el modelo matemático deja de ser regular, sin invalidar su utilidad cotidiana.
Coincidencia con otra investigación independiente
El mismo 8 de septiembre, el matemático Tristan Buckmaster, de la Universidad de Nueva York, y el investigador Levent Alpöge publicaron de forma independiente una prueba de explosión en tiempo finito para las ecuaciones de Euler forzadas en tres dimensiones.
Ese trabajo está relacionado con la investigación de OpenAI, pero aborda un problema distinto y más simplificado. Según la secuencia explicada por la empresa, sus investigadores conocieron la existencia de ese trabajo cuando intentaron preparar un anuncio conjunto. OpenAI ha reconocido la prioridad de Buckmaster y Alpöge en su resultado sobre Euler.
La coincidencia ha abierto preguntas sobre la procedencia de las ideas generadas por modelos avanzados. OpenAI afirma que el sistema no consultó trabajos externos antes de que fueran publicados, aunque admite que no puede descartar por completo todas las vías indirectas de acceso a información. La cuestión es especialmente delicada cuando varios equipos llegan a resultados similares casi al mismo tiempo.
Un avance importante, pero aún bajo escrutinio
El anuncio refuerza la posición de las matemáticas como uno de los ámbitos donde la IA puede ofrecer resultados verificables. En los últimos meses, los modelos han pasado de resolver ejercicios complejos a explorar problemas abiertos durante décadas.
La diferencia, en este caso, está en la combinación de búsqueda automatizada, miles de agentes trabajando en paralelo y verificación formal. El siguiente paso será que matemáticos independientes revisen el certificado de Lean, las hipótesis y el alcance exacto de la demostración.
Hasta entonces, la descripción más precisa es que OpenAI ha presentado un avance sustancial sobre Navier-Stokes, no que la inteligencia artificial haya resuelto definitivamente uno de los Problemas del Milenio.
