Sharing AI progress in mathematics

OpenAI ha publicado nuevos resultados sobre problemas matemáticos abiertos utilizando un modelo de frontera interna y ha compartido formalizaciones de pruebas Lean y detalles de investigación en GitHub.