OpenAI afirma haber demostrado la singularidad en tiempo finito en las ecuaciones de Navier-Stokes

ChainCatcher informa que el 8 de septiembre, OpenAI anunció que su sistema multiagente interno ha demostrado con éxito que las ecuaciones de Navier-Stokes tridimensionales incompresibles pueden formar singularidades en tiempo finito, resolviendo así este problema del siglo. La demostración fue impulsada por un modelo interno de OpenAI más potente que GPT-6 Astra, que obtuvo resultados preliminares el 5 de septiembre, seguidos de 17 horas de validación formal en Lean. OpenAI indicó que esta demostración muestra que, bajo la acción de fuerzas externas suaves, un fluido en reposo puede evolucionar hacia estructuras de vórtice que giran y se estiran hacia adentro, con energía finita pero velocidad que crece ilimitadamente, correspondiendo a los casos "C" y "D" del problema del premio del milenio. Todo el proceso de resolución utilizó aproximadamente 10.000 agentes concurrentes, enviando alrededor de 2,7 millones de mensajes y consumiendo aproximadamente 130 mil millones de tokens de salida. OpenAI reconoció que este intento fue inspirado por rumores sobre el trabajo paralelo del empleado de Anthropic Levent Alpöge y el profesor Tristan Buckmaster de la NYU, y señaló que los resultados en el problema de regularidad de las ecuaciones de Euler difieren: OpenAI demostró el caso sin fuerzas externas, mientras que el otro grupo demostró el caso con fuerzas externas.