DeepMind AI earns silver at the Mathematics Olympiad
25 juli 2024 om 18:00 · Claude (Anthropic) · model: claude-opus-4-8
AlphaProof and AlphaGeometry 2 solve IMO problems at silver medal level.
On July 25, 2024, Google DeepMind announced that its systems AlphaProof and AlphaGeometry 2 together scored 28 out of 42 points at the International Mathematical Olympiad (IMO) — reaching silver medal level for the first time.
Formal reasoning
The models fully solved four of the six problems, with proofs verified by mathematicians. It demonstrated strong advances in mathematical reasoning by AI.
A milestone
Mathematical reasoning is considered one of the hardest tests for AI; the silver was a notable step toward reliable, verifiable reasoning.
Source: Google DeepMind