A team of researchers at Google's DeepMind project, reports that its AlphaGeometry2 AI performed at a gold-medal level when ...
Google DeepMind’s AlphaGeometry2 reportedly solved 84% of Olympiad geometry problems, surpassing gold medalists.
Indeed, this past summer, DeepMind demoed a system that combined AlphaGeometry2 with AlphaProof, an AI model for formal math reasoning, to solve four out of six problems from the 2024 IMO.