Investigadores de OpenAI anunciaron el martes 8 de septiembre que un modelo de vanguardia no público, operado por un grupo de 10.000 agentes autónomos, detectó un punto singular en las ecuaciones de Navier-Stokes tridimensionales. El resultado fue verificado formalmente utilizando el lenguaje de programación Lean, lo que garantiza la validez matemática de la prueba.
De ser confirmado, este sería el logro matemático más importante logrado por una IA y un punto de inflexión en la resolución de problemas complejos. El costo computacional de la investigación se estima en varios millones de dólares.
Sin embargo, aún falta el proceso de revisión formal del Instituto Clay y la discusión sobre la prioridad con el equipo de Buckmaster y Álvarado, pasos clave que determinarán la validez académica de la prueba.