基准国际数学奥林匹克

IMO

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

来源文章