DeepMind systems reach silver-medal standard at the IMO

Google DeepMind said its AlphaProof and AlphaGeometry 2 systems solved four of six problems at the 2024 International Mathematical Olympiad, scoring 28 of 42 points, one short of a gold medal. The systems took up to three days per problem against contestants’ 4.5 hours.

Why it mattered It was the first time an AI system reached medal-level scores on IMO problems under the competition’s official grading, a long-standing marker of mathematical reasoning.