AlphaProof, una nueva IA de Google DeepMind, marca un gol en la Olimpiada Internacional de Matemáticas

La IA está mejorando en matemáticas y pronto podría ser un colaborador digno para los humanos.