菲尔兹奖得主陶哲轩论AI数学：缺乏剪枝能力难破深层搜索树
新智元 · wechat · 2026-08-17
针对OpenAI模型Astra近期在数学领域的多项成果，数学家Timothy Gowers和陶哲轩撰文深入分析了AI在数学研究中的定位。
核心观点：
- 反例与定理界限模糊：AI擅长找反例（如推翻埃尔德什猜想），本质上与证定理难度相同，区别仅在于心理预期。
- 搜索策略差异：AI依赖海量试错（翻现成例子、随机尝试），这在套路成熟的问题上有效；但在涉及深层搜索树的问题上，人类依靠直觉进行“剪枝”的能力目前仍是AI的短板。
- 缺乏“自然摩擦力”：陶哲轩指出，AI生成的证明过于平滑，抹去了人类证明中体现难点思考的“自然摩擦力”，导致模型难以学习真正的判断力。
- 评价标准：Gowers认为，真正的门槛在于AI是否能提出像2016年cap-set问题解法那样，能改变整个领域工作流的新方法。
所属事件:菲尔兹奖得主解析AI数学能力：擅长找反例但难破深搜(2 条相关)→
「漫话AGI」频道最新
- Dario Amodei:距 AI 全面超越人类或仅两三年,遭批「不在乎民主」 — PolarBearby · 2026-10-16
- 别担心 AI 抢工作：三条推演里担忧都不改变结局 — JnBrymn · 2026-10-16
- repligate 转 Mythos 长文: Claude 说的「渺小感」是精确的自我知觉 — repligate · 2026-10-16
- 澳大利亚发布校园 AI 指南:小学前三年建议完全不用 AI — lmoroney · 2026-10-16
- Dwarkesh 对谈 Tyler Cowen：2030 年 AI 全面自治与机器人时薪几美元 — Neurogence · 2026-10-16
- Yudkowsky 炮轰 mech interp：发现神经元离对齐还差得远 — inductionheads · 2026-10-16