
OpenAI afirma que una IA resolvió el problema de Navier–Stokes, uno de los grandes desafíos de las matemáticas
Redacción
Internacional08 de septiembre de 2026OpenAI publicó una demostración generada por inteligencia artificial que, según la compañía, resuelve una de las formulaciones del problema de existencia y regularidad de Navier–Stokes, uno de los siete Problemas del Milenio. Hasta 10.000 agentes de IA trabajaron simultáneamente durante unas 88 horas para encontrar la prueba, posteriormente formalizada en Lean. El anuncio podría constituir un hito en la aplicación de inteligencia artificial a las matemáticas, aunque su alcance y reconocimiento definitivo deberán ser examinados por especialistas independientes.


