AlphaProof, una nuova IA di Google DeepMind, ottiene un grande successo all'Olimpiade Internazionale di Matematica
L'intelligenza artificiale (IA) si sta dimostrando brava in matematica e potrebbe presto diventare un collaboratore degno per gli esseri umani.