DeepMind’s AI system, AlphaProof, has solved a problem in under 20 seconds, which is six times faster than their previous record-setting system. Researchers used AlphaGeometry2 to solve the geometry problem. AlphaProof had solved four of the six problems given to school students at 2024 International Mathematical Olympiad in Bath, UK, this month.