陶哲轩警告：AI 抢答数学难题可能反噬数学发展
量子位 · wechat · 2026-09-05
陶哲轩发长文警告：AI 解题太快、过程黑盒，可能「污染」数学重大开放问题的研究价值。
他以纳维-斯托克斯方程全局正则性问题为例：
- 过程比答案重要：历史上攻克此类问题的「失败」催生了 Leray–Hopf 弱解、Prodi–Serrin 定理、Beale–Kato–Majda 爆破判据等基础成果；陶哲轩自己未解决爆破问题，却意外把流体计算、图灵普适性和辛拓扑联系起来。
- AI 恰好适合流水线解题：已有成型策略——设计自相似拟设、数值验证、稳定性证明、残差检验，正是「ML 模拟 + 区间算术 + 形式化证明 + LLM 提拟设 + 人类专家指导」的组合所擅长的。
- 风险：若自主 AI 在公司内部完成全流程并解决著名难题，人类无法理解证明，问题孕育新数学的价值就消失了。严重时 AI 对数学发展的影响可能从正面变成净负面。
One More Thing：文末提到（虚构情景）GPT-6 发布即宣布孪生素数间距上界从 246 推进到 186，Anthropic 与 Axiom 同期给出 188 和 212；陶哲轩吐槽幸好牛津数学家 Julia Stadlmann 赶在问题被「污染」前于 8 月 31 日把上界缩到 240 并公开了自己的分析。
所属事件:传 Claude 攻克纳维-斯托克斯千禧难题，陶哲轩回应引热议(9 条相关)→
「漫话AGI」频道最新
- 「安慰式宇宙主义」:后 AGI 时代的自欺,人类必须彻底转型 — danfaggella · 2026-09-06
- AI 学者 Toby Walsh 新书《God AI: Boom or Doom?》将办线下分享 — TobyWalsh · 2026-09-06
- 马斯克放话 3 年内机器人外科医生超越全球最佳医生 — r0ck3t23 · 2026-09-06
- "父母打电话说治疗有效"：这才是最值得期待的 AI 未来 — rand_longevity · 2026-09-06
- azr：期待 Neuralink 实现「下载知识到大脑」的 text-to-LoRA — beffjezos · 2026-09-06
- 博客长文：人类不会是 LLM 的经济性互补者，「品味是瓶颈」论站不住 — zetalyrae · 2026-09-06