Sobre el problema del premio Millennium de Navier–Stokes

OpenAI ha publicado una solución generada por IA al problema del premio Millennium de Navier–Stokes. La publicación incluye un documento explicativo y una prueba formal escrita en el lenguaje de pruebas Lean.

Resumen elaborado por Kernelia a partir del artículo original de OpenAI News. La noticia y sus derechos pertenecen a su autor.