¡Logramos un rendimiento de nivel medalla de oro en la IMO de este año! Nuestro modelo piensa y escribe pruebas en un inglés claro y sencillo, sin necesidad de código formal. A diferencia de los sistemas más limitados utilizados en competiciones anteriores, nuestro modelo está diseñado para razonar de manera amplia, mucho más allá de los problemas del concurso.