Sobre el problema del Premio del Milenio de Navier-Stokes
Un sistema interno de OpenAI ha demostrado que las ecuaciones de Navier-Stokes para el movimiento de fluidos pueden desarrollar una singularidad en tiempo finito.Resumen
Este artículo anuncia que un sistema de IA interno desarrollado por OpenAI ha resuelto el problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio del Clay Mathematics Institute. El sistema produjo una prueba analítica y una formalización en el demostrador de teoremas Lean que demuestran que un fluido incompresible y suave que comienza en reposo puede desarrollar una singularidad en tiempo finito bajo una fuerza suave y de energía finita. Esto significa que la velocidad del fluido puede crecer sin límite, marcando un colapso en el modelo de continuo.
La prueba se logró mediante un sistema multiagente impulsado por un nuevo modelo interno más capaz que GPT-6 Astra. El esfuerzo involucró coordinar hasta 10,000 agentes concurrentes que exploraron enfoques diversos, con ideas cruzadas entre grupos. La solución se alcanzó en aproximadamente 88 horas, con la formalización y verificación formal tomando 17 horas adicionales. El sistema también resolvió un problema "más fácil" relacionado sobre la regularidad de las ecuaciones de Euler forzadas.
El artículo aclara que el trabajo comenzó después de rumores de avances en los Problemas del Milenio y nota el trabajo paralelo e independiente sobre el problema de Euler forzado por Levent Alpöge y Tristan Buckmaster. OpenAI enfatiza que este hito demuestra un progreso significativo en la IA pero declara que no tienen la intención de reclamar el Premio del Milenio por este resultado, enmarcando el logro como una instantánea del desarrollo continuo enfocado en construir una IA responsable y manejable.
(Fuente：OpenAI)