MIT科学家构建全球最大奥林匹克级数学题库，向全球免费开放

MIT计算机科学与人工智能实验室联合多家机构，发布迄今最大规模的高质量数学证明题数据集MathNet。该数据集涵盖超过3万道专家级竞赛题目，跨越47个国家、17种语言和143项赛事，规模是同类数据集的五倍。MathNet...