Compartiendo avances de IA en matemáticas

OpenAI ha publicado nuevos resultados sobre problemas abiertos de matemáticas obtenidos con un modelo interno de última generación. Además, la compañía ha puesto a disposición las formalizaciones de pruebas en Lean y la documentación de la investigación en GitHub.

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