OpenAI says next-gen model proved Navier-Stokes problem
A Spanish-language post relays an OpenAI announcement that a next-generation model, more capable than GPT-6 Astra, produced a multi-agent proof of the Navier-Stokes Millennium Prize problem in under 100 hours.
"Hito Histórico" Porque OpenAI acaba de anunciar la solución a uno de los Problemas del Milenio de las matemáticas que permanecía sin resolver desde hacía 90 años. Lo hizo en menos de 100 horas de trabajo con un programa superior al ya público GPT-6 Astra. "Estamos compartiendo una solución al Problema del Premio del Milenio de Navier-Stokes, uno de los problemas más profundos en la frontera de las matemáticas". "La demostración fue producida por un grupo de agentes, utilizando un modelo de próxima generación de OpenAI significativamente más capaz que GPT-6 Astra". "El problema concierne a si la descripción del movimiento fluido tridimensional suave modelado por las ecuaciones de Navier-Stokes puede descomponerse. Ha permanecido sin resolver durante aproximadamente 90 años".