World AlphaProof, a New A.I. from Google DeepMind, Scores Big at the International Math Olympiad July 25, 2024Siobhan RobertsComments Off on AlphaProof, a New A.I. from Google DeepMind, Scores Big at the International Math Olympiad A.I. is getting good at math — and might soon make a worthy collaborator for humans.