陶哲轩：数学界应重视“消化”AI证明而非仅比快
量子位 · wechat · 2026-08-20
面对AI批量生成数学证明带来的危机，陶哲轩与菲尔兹奖得主王虹均指出，数学界需要从单纯的“发现证明”转向“消化证明”。
核心观点：
- 证明的完整流程：陶哲轩将数学成果分为五步：生成论证、核验正确、同行阐释、发表检验、沉淀为知识。AI 目前主要加速前两步，后三步仍需数学家深度参与。
- 消化的重要性：陶哲轩花费数天“消化”了 AI 辅助解决的森多夫猜想证明。通过追溯文献、提炼核心恒等式，他不仅将Lean代码从9万行压缩至1.5万行，还覆盖了更强的Phelps–Rodriguez猜想，证明了消化过程本身能拓宽数学成果。
- 呼吁规则变革：陶哲轩主张改变数学界“谁先证明谁得利”的旧规，提升“消化整理证明”的地位。如果作者无法内行地讲解结果，即便AI验证正确也不应发表。
Palomar项目：陶哲轩公开了面向Lean验证结果的登记库Palomar，作为验证与发表之间的中继站，记录生成、验证、阐释和发表四个时间节点，以此决定成果归属权。
「漫话AGI」频道最新
- 最难受的AI结局:不是失业，而是议价权被雇主悄然拿走 — VraserX · 2026-08-20
- 2020年代将成"中世纪":AGI乐观派描绘2030年代新文明图景 — Dr_Singularity · 2026-08-20
- 博主呼吁转型：放弃 LLM 炒作，专注推理工程与硬件 — max_paperclips · 2026-08-20
- AI 超级预测器正在改变预测市场的价值主张 — devanshmehta · 2026-08-20
- 贝佐斯：AI 最大影响在于赋能每一家非科技公司 — r0ck3t23 · 2026-08-20
- 创作者吐槽 AI 检测误判：「干脆录下我打字的全过程」 — TennisSkirt1628 · 2026-08-20