OpenAI asegura resolver Navier-Stokes con 10.000 agentes de IA
Lo que OpenAI acaba de anunciar El 8 de septiembre de 2026, OpenAI publicó un paper y una prueba formal en Lean afirmando haber resuelto la existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio definidos por el Clay Mathematics Institute en el año 2000 y premiados con US$1 millón cada uno. …









