国际数学奥林匹克 (IMO)

国际数学奥林匹克（International Mathematical Olympiad, IMO）是全球最具影响力的中学生数学竞赛。2026年4月，IMO体系相关团队与MIT CSAIL联合发布了MathNet数据集，该数据集以IMO历年竞赛材料为核心数据源之一，覆盖47个国家、17种语言、40多年竞赛材料。

MathNet的发布使IMO的竞赛题目资源从传统的教育竞赛领域扩展到了AI基准测试和数学推理研究领域，成为评估AI模型抽象推理能力的重要工具。