AlphaProof, la nueva inteligencia artificial de Google DeepMind, obtiene un gran puntaje en la Olimpiada Internacional de Matemáticas
La IA se está volviendo buena en matemáticas y pronto podría convertirse en un colaborador valioso para los humanos.