该标签下共有 1 篇文章
作者: aeks | 发布时间: 2026-06-13 12:02
学科: 数学 计算机科学与技术
人工智能首次接受严格数学能力测试：4个AI模型挑战10道全新研究级数学题，最高仅答对6题。结果表明，当前AI尚无法媲美顶尖数学家的解题能力。
标签: AI模型评测 First Proof测试 人工智能数学能力 数学证明辅助 研究级数学问题
