MIT联手IMO放出全球最大奥数题库MathNet
2026年4月，MIT CSAIL与国际数学奥林匹克（IMO）体系相关团队联合发布了MathNet，号称全球最大的奥数级数学题与解答数据集。该数据集覆盖47个国家、17种语言、40多年竞赛材料，包含约3万道Olympiad级问题及对齐后的题面、自然语言解答、LaTeX表述和元数据。
本文的核心论点是：MathNet不仅是更大的数据集，更是对AI推理能力的"压力测试"，旨在区分模型是"记住答案"还是"学会推理"。文章指出，过去两年大模型在数学测试上的高分可能因数据污染而不可靠，MathNet通过全球化、多语言、长时间跨度的设计显著降低了单一文化偏见和污染风险。
文章还强调了MathNet的多模态特性（同时包含文本与图像题面），以及其在推动检索增强推理系统、AI教育产品和AI for Science领域的潜在价值。作者同时表达了对行业可能陷入"benchmark分数继续涨就等于模型逼近数学发现"新幻觉的警惕。