摘要
为评估当前人工智能系统正确解决研究级数学问题的能力，本研究在广泛数学领域选取了十个自然产生于contributors 研究过程中的问题，对多个 AI 系统进行了测试。文档详细阐述了测试问题、方法论及结果，并提供了人类解答、AI 生成解法以及针对 AI 解法的评审报告与日志等补充材料的链接。这些问题由十组知名数学家贡献，旨在严格检验 AI 在高深数学推理方面的实际水平。
AI 推荐理由
论文核心评估 AI 解决研究级数学问题的能力，直接聚焦逻辑与数学推理。
研究机构
Stony Brook University
University of California, Berkeley
论文信息