Definition
A high-level international competition for high school students, especially in math.
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.