MIT 与 IMO 发布 MathNet:全球最大国际数学奥林匹克题库与解答数据集,规模达以往 5 倍,覆盖 40 余国、40 年历程
摘要
MIT 与 IMO 联合推出 MathNet,汇集 40 多国、40 年国际数学奥林匹克赛题与详解,数据量较现有数据集扩大 5 倍。
Hugging Face: [https://huggingface.co/datasets/ShadenA/MathNet](https://huggingface.co/datasets/ShadenA/MathNet)
论文: [https://mathnet.csail.mit.edu/paper.pdf](https://mathnet.csail.mit.edu/paper.pdf)
项目主页: [https://mathnet.csail.mit.edu/](https://mathnet.csail.mit.edu/)
MIT CSAIL 的 𝕏 动态: [https://x.com/MIT_CSAIL/status/2046620592980262964](https://x.com/MIT_CSAIL/status/2046620592980262964)
相似文章
麻省理工学院科学家构建了全球最大规模的奥数级数学问题集,并向所有人开放
麻省理工学院(MIT)研究人员与沙特阿卜杜拉国王科技大学(KAUST)及 HUMAIN 公司合作,发布了 MathNet。这是目前最大的开源奥数级数学问题数据集,包含来自 47 个国家的超过 30,000 道由专家编写的问题。
MathNet:一个面向数学推理与检索的全球多模态基准
# 论文页面 - MathNet:一个面向数学推理与检索的全球多模态基准 来源:[https://huggingface.co/papers/2604.18584](https://huggingface.co/papers/2604.18584) ## 摘要 MathNet 是一个大规模、多语言、多模态的奥赛级数学问题数据集,旨在评估生成式模型和基于嵌入的系统中的数学推理与检索能力。数学问题解决对于大型语言和多模态模型而言仍是一项极具挑战性的推理测试。
CrowdMath: 一个众包数学研究讨论数据集
介绍了CrowdMath,一个包含164条专家标注的进展链条的数据集,来自MIT PRIMES–AoPS CrowdMath项目,捕捉了协作数学问题解决过程。对六个前沿模型进行基准测试,发现它们在下一帖子预测上达到83-88%的准确率,但在帖子角色分类上仅有0.42的macro-F1,突显了在理解协作进展方面的差距。
PatiGonit22K:用于解决复杂孟加拉语数学应用题的综合数据集
介绍了PatiGonit22K,这是一个扩展后的孟加拉语数学应用题数据集,包含22,441个问题,包括复杂的多步运算问题,旨在推动低资源语言数学推理研究的发展。
AI 随时间推移解决的数学问题
一个数据链接,追踪 AI 系统随时间解决数学问题的情况,突出 AI 数学推理的进步。