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. A.I. is getting good at math — and might soon make a worthy collaborator for humans. Artificial Intelligence, Mathematics, Computers and the Internet, Go (Game), Cambridge University, DeepMind Technologies Ltd, Google Inc, Cambridge (England), your-feed-science NYT > Science