Mathematicians put AI model AlphaProof to the test

Last year, Google DeepMind made headlines for building an artificial-intelligence system that achieved a silver-medal standard on the problems from that year’s International Mathematics Olympiad (IMO), a prestigious competition for young mathematicians held annually. It was the first time such a system had performed at a medal-worthy level in solving IMO challenges. Now, writing in Nature, Hubert et al.¹ report the details of the core technology behind that achievement: a tool called AlphaProof, which is designed to prove mathematical statements.