Definition
Plain language
The most prestigious U.S. high school math competition, requiring full written proofs.
As stated in the literature
The USA Mathematical Olympiad, a six-problem proof-based competition used as a benchmark for olympiad-level mathematical reasoning in AI systems.
Why it matters: Because it demands genuine proofs rather than numerical answers, it's a much harder bar for AI math systems than competitions like AIME.
For example, a USAMO problem might ask the student to prove that a certain inequality holds for all positive reals, with full rigor.
Heard on the show
“Three hundred and forty high schoolers sat for the USAMO this year.”Episode 048 — How a 30B Open Model Reached Olympiad Gold With the Right Recipe