OpenAI publica solución IA al problema Navier-Stokes
Línea temporal
-
OpenAI presenta una solución generada por IA al problema Navier-Stokes del Millennium Prize
OpenAI ha publicado un documento con una solución al problema del Millennium Prize de Navier-Stokes, generada con ayuda de IA, incluyendo una prueba formal escrita en el lenguaje de demostración Lean.
-
OpenAI afirma haber resuelto un problema del milenio sobre las ecuaciones de Navier-Stokes con IA
OpenAI anunció el 8 de septiembre que su último prototipo de IA generó una solución mostrando que las ecuaciones de Navier-Stokes pueden producir velocidad infinita en tiempo finito, uno de los siete 'Problemas del…