En SmartBytes te explicamos qué significa esta información y por qué importa.
El 8 de septiembre de 2026, OpenAI anunció un avance significativo en matemáticas aplicadas al publicar una supuesta solución al problema de existencia y regularidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio planteados por el Instituto Clay de Matemáticas. Acompañando su afirmación, OpenAI difundió un manuscrito de 166 páginas junto con una formalización computacional en Lean, un sistema de verificación de pruebas matemáticas.
El hallazgo describe cómo las ecuaciones tridimensionales para un fluido incompresible pueden generar una singularidad en tiempo finito bajo ciertas condiciones, utilizando una fuerza externa suave que mantiene la energía cinética acotada mientras la velocidad del fluido crece sin límite. Según OpenAI, esta prueba aborda las alternativas C y D de la formulación oficial, construyendo datos iniciales específicos que impiden la existencia de una solución global con las propiedades requeridas.
Este avance fue posible gracias a un sistema de inteligencia artificial interno más avanzado que GPT-6 Astra, que coordinó cerca de 10.000 agentes trabajando simultáneamente durante 88 horas para obtener el resultado, seguido de un proceso de formalización y verificación de 17 horas más con GPT-6 Astra. Sin embargo, la comunidad matemática aún debe validar la prueba y confirmar que corresponde exactamente al problema planteado.
El Instituto Clay mantiene el problema como abierto, ya que para otorgar el premio debe cumplirse la publicación en una revista reconocida, la permanencia de la solución durante al menos dos años y la aceptación general por parte de expertos en la materia. Además, surgieron cuestionamientos sobre la prioridad y el uso de datos, pues investigadores como Tristan Buckmaster han expresado preocupaciones respecto a la influencia de modelos de lenguaje y el acceso a datos desidentificados durante el desarrollo del proyecto.
En términos prácticos, este anuncio destaca el potencial creciente de la inteligencia artificial para abordar retos matemáticos complejos, lo que puede impactar a técnicos, científicos y empresas que dependen de simulaciones avanzadas en fluidos y otras disciplinas. No obstante, hasta que la comunidad científica valide la solución y su metodología, el resultado debe considerarse una afirmación de OpenAI y no una conclusión definitiva.
