数学家 vs AI:在 7 个数学研究任务上的人机对决,胜负如何?
实验设计 2026 年 6 月,我设计了一项"人机对决"实验: 人类组: 3 位数学博士,分别来自代数、分析和应数方向,各自有 5-10 年研究经验。 AI 组: GPT-5 (o3)、Claude 4.5 Sonnet (extended thinking)、Gemini 2.5 Pro (deep think)。 任务: 7 个数学研究中的常见任务,从"文献检索"到"提出猜想"。 评分: 每项任务满分 10 分,由独立的评审委员会(5 位数学教授)打分。评审不知道答案来自人类还是 AI。 最终结果 任务 人类组(平均) AI 组(最佳) 胜者 1. 文献检索 6.5 8.5 AI 2. 计算验证 5.0 9.0 AI 3. 反例构造 7.5 3.5 人类 4. 证明瑕疵检测 6.0 7.5 AI 5. 类比迁移 8.0 4.0 人类 6. 概念定义 7.5 5.0 人类 7. 提出猜想 8.5 3.0 人类 总分 49.0 40.5 人类 结论:AI 在信息检索和计算类任务上碾压人类,但在需要创造力和洞察力的任务上远不如人类。 ...