Definition
The International Mathematical Olympiad, the most prestigious high school math competition in the world.
The International Mathematical Olympiad; six-problem proof-based competition used as a frontier reasoning benchmark for AI systems including DeepMind's AlphaProof and recent open-source efforts.