El proyecto First Proof somete a la IA a problemas matemáticos inéditos para comprobar si los modelos de lenguaje entienden ...