OpenAl anunció este 8 de septiembre que un sistema experimental de inteligencia artificial habría encontrado una solución al problema de Navier-Stokes, uno de los siete Problemas del Milenio considerados entre los mayores desafíos de las matemáticas modernas. La empresa publicó una demostración matemática y una versión formalizada mediante Lean, un sistema utilizado para verificar rigurosamente cada paso de una prueba matemática.
El problema de Navier-Stokes ha perma- necido abierto durante cerca de 90 años y se centra en determinar si las ecuaciones que describen el movimiento de fluidos en tres dimensiones pueden mantener siempre soluciones regulares o si, bajo determinadas condiciones, pueden desarrollar singularidades que provoquen una ruptura matemática del modelo. Estas ecuaciones son fundamentales para comprender fenómenos como las corrientes de aire, el comportamiento del agua, la turbulencia alrededor de aeronaves, los sistemas meteorológicos y numerosas aplicaciones científicas e industriales
Según OpenAl, la demostración fue obtenida por un conjunto de agentes de inteligencia artificial que trabajaron de manera colaborativa explorando diferentes rutas matemáticas. La compañía aseguró que el trabajo fue realizado por un modelo interno significativamente más avanzado que GPT-6 Astra y que el sistema logró producir tanto una demostración analítica como una formalización verificable por computadora.
La relevancia potencial del anuncio es enorme. En el año 2000, el Clay Mathematics Institute seleccionó siete problemas considerados fundamentales para el avance de las matemáticas: la Hipótesis de Riemann, P versus NP, la Conjetura de Birch y Swinnerton-Dyer, Navier-Stokes, Yang-Mills y el salto de masa, la Conjetura de Hodge y la Conjetura de Poincaré. Cada uno de ellos cuenta con un premio de un millón de dólares para quien presente una solución válida.
Hasta ahora, únicamente uno de esos pro- blemas ha sido resuelto y reconocido oficial- mente: la Conjetura de Poincaré, demostrada por el matemático ruso Grigori Perelman, quien posteriormente rechazó tanto el premio económico como otros reconocimientos internacionales. Si la demostración de OpenAl supera todas las revisiones necesarias, Navier-Stokes se convertiría en el segundo Problema del Milenio resuelto en más de dos décadas.
Sin embargo, el anuncio no significa que el problema esté oficialmente resuelto. En matemáticas, una prueba de esta complejidad puede contener errores sutiles que invaliden toda la conclusión. Ahora corresponderá a especialistas independientes estudiar el trabajo, revisar cada argumento, intentar reproducir los resultados y determinar si efectivamente responde al problema planteado por el Clay Mathematics Institute.
Además, el reconocimiento formal de una solución requiere publicación, revisión académica y aceptación generalizada por parte de la comunidad matemática internacional, un proceso que puede tomar años. Por ello, sería prematuro afirmar que la inteligencia artificial ya resolvió Navier-Stokes. Lo que existe por ahora es una demostración presentada por OpenAl que asegura hacerlo y que deberá superar uno de los procesos de validación más rigurosos de la ciencia.
De confirmarse la validez de la prueba, el impacto iría mucho más allá de las matemáticas. Hasta ahora, la inteligencia artificial había destacado principalmente como una herramienta para procesar información, analizar datos, programar o asistir a investigadores. Si matemáticos independientes validan la demostración, estaríamos ante uno de los primeros casos en que un sistema de IA contribuye directamente a generar conocimiento matemático original para resolver una pregunta que durante décadas resistió los esfuerzos de especialistas humanos.
Deja un comentario