Before it
Models solved competition problems only with formal tools or heavy scaffolding.
The problem
Olympiad problems need original proofs written in natural language under time limits.
What it introduced
Two labs independently scored 35 of 42, solving five of six problems, in natural language. DeepMind's run was certified by IMO coordinators.
Why it matters
A milestone for mathematical reasoning, though later independent evaluation found much weaker performance on unfamiliar problems.
What modern models inherit
Both the achievement and the caution about what benchmark scores mean.
What came next
IMO-ProofBench and other independent evaluations testing generalisation.