Un modelo de OpenAI propone solución a Navier–Stokes
OpenAI dijo el 8 de septiembre de 2026 que un sistema interno más capaz que GPT-6 Astra produjo una solución al problema del Milenio de existencia y suavidad de Navier–Stokes: un fluido suave en reposo puede desarrollar una singularidad en tiempo finito bajo una fuerza suave mientras la energía se mantiene finita, lo que establece los enunciados C y D de Clay. La compañía publicó un escrito analítico y una formalización en Lean verificada con GPT-6 Astra tras unas 88 horas de búsqueda multiagente y unas 17 horas de formalización, y afirma que no pretende reclamar el Premio del Milenio. OpenAI menciona trabajo concurrente de Levent Alpöge y Tristan Buckmaster sobre Euler forzado, reconoce su prioridad ahí, y presenta el anuncio como evidencia del ritmo de la investigación con IA — no como un lanzamiento de producto para consumidores.