Yearly, the international locations competing within the Worldwide Mathematical Olympiad (IMO) arrive with a booklet of their greatest, most unique issues. These booklets get shared amongst delegations, then quietly disappear. Nobody had ever collected them systematically, cleaned them, and made them obtainable, not for AI researchers testing the bounds of mathematical reasoning, and never for…