DeepMind’s journey toward mathematical AI dominance took a major leap last year when AlphaProof and AlphaGeometry nearly clinched gold at the International Math Olympiad (IMO). Now, with the latest upgrade, AlphaGeometry2 (AG2) has officially surpassed top human competitors in geometry, marking a milestone in AI-driven mathematical reasoning. The general consensus among IMO competitors is that geometry problems are among the toughest in each day of the Olympiad.
AG2 represents a significant advancement in AI-driven mathematical reasoning, particularly in solving Olympiad geometry problems. Building on its predecessor, AlphaGeometry, AG2 surpasses the performance of an average gold medalist in the International Mathematical Olympiad (IMO). This essay provides a technical overview of AG2’s architecture, key improvements, and broader contributions to AI.
To have an idea of the complexiity of the geometry problems in IMO, look at the example below from the paper: