AlphaProof, uma Nova IA da Google DeepMind, Marca Ponto Alto na Olimpíada Internacional de Matemática

A I.A. está ficando boa em matemática — e pode logo se tornar um colaborador digno para os seres humanos.