OpenAI presenta solución IA al problema de Navier–Stokes del Premio Milenio
OpenAI ha compartido una solución generada por inteligencia artificial al desafiante problema de Navier–Stokes, uno de los siete Premios Milenio de las matemáticas. El trabajo incluye un artículo explicativo y una prueba formal verificable en el lenguaje de prueba Lean.
5 min lectura2dIAOnda Redaccion
