陶哲轩警告：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」频道最新
- 开发者自述:编程 agent 让想法离实现只差 10 分钟,反而做不过来 — feregri_no · 2026-10-21
- 不要温和地走进那个良夜的大语言模型 — wickedwonderer · 2026-10-21
- Bindu Reddy 警告:Anthropic 欲以领先地位主导 AI 监管 — bindureddy · 2026-10-21
- Diamandis：技术转型期要让人们参与财富创造、保住信心 — PeterDiamandis · 2026-10-21
- 沃顿教授：AI语音交互或将终结开放式办公室 — emollick · 2026-10-21
- Nina Schick：从推理到自主智能体，扩展之路都通向算力 — NinaDSchick · 2026-10-21