IMO

国际数学奥林匹克竞赛，被用作衡量AI数学推理能力的重要基准