OpenAI demuestra que las ecuaciones de Navier-Stokes tienen una singularidad en tiempo finito

El 8 de septiembre, OpenAI anunció que su sistema multiagente interno ha demostrado con éxito que las ecuaciones tridimensionales incompresibles de Navier-Stokes pueden formar singularidades en tiempo finito, resolviendo así el problema de este siglo. La demostración fue impulsada por un modelo dentro de OpenAI más potente que GPT-6 Astra y obtuvo resultados preliminares el 5 de septiembre, seguidos de 17 horas de verificación formal en Lean. OpenAI declaró que la demostración muestra que, bajo la influencia de fuerzas externas suaves, un fluido estacionario puede evolucionar hacia estructuras de vórtices que se enrollan hacia adentro y se estiran, con energía finita pero velocidad que crece sin límite, correspondiendo a los casos "C" y "D" de los Problemas del Milenio. Todo el proceso de resolución involucró alrededor de 10,000 agentes concurrentes, envió aproximadamente 2.7 millones de mensajes y consumió alrededor de 130 mil millones de tokens de salida. OpenAI reconoció que este intento fue inspirado por rumores de trabajo paralelo del empleado de Anthropic Levent Alpöge y el profesor de NYU Tristan Buckmaster, señalando que ambas partes llegaron a resultados diferentes respecto al problema de regularidad de las ecuaciones de Euler, con OpenAI demostrando el caso sin fuerzas externas, mientras que la otra parte demostró el caso con fuerzas externas.