Definition
Plain language
A high-level international competition for high school students, especially in math.
As stated in the literature
A category of subject-area competitions (IMO, USAMO, etc.) used as frontier reasoning benchmarks for LLMs; producing proofs, not just final answers, is the defining challenge.
Why it matters: Olympiad problems demand creative proofs rather than pattern-matched answers, making them a sharp test of genuine reasoning.
For example, an IMO problem might ask the student to prove a particular inequality holds for all positive reals.
Heard on the show
“AI systems can now win gold at the International Mathematical Olympiad.”Episode 029 — Why Forty-Eight Percent on FrontierMath Isn't the Real Story in DeepMind's New Math Paper