Kamath 发问：为何没人用 AI 简化旧定理证明
多伦多大学教授、知名理论计算机科学家 Gautam Kamath 于 10 月 6 日发推系列（共 5 条）讨论 AI for math 的盲区：学界热衷用 AI 产出新结果，却几乎没有人用 AI 为旧定理寻找更简洁、更优雅的证明并清理文献。他提议设立「书本证明」（book proofs）发表渠道来改变这一局面，博主 srchvrs 表示强烈认同。
已确认
- Kamath 认为这种忽视源于发表文化：荣耀几乎全归第一个得到结果的人，简化工作通常难以发表，他点名 Dinur 对 PCP 定理的简化是少见的 notable 例外。
- 他以自身经验指出，当前 AI 模型即使「去水化」后也不擅长产出人类可读或优雅的解法，往往是在前人技术方案上继续做技术性修改，越来越难以凭直觉把握。
- 他推演警告：多篇 AI 驱动的工作互相叠加后，完整解法可能变得不可理解——没有单篇论文犯下大错，但混淆会不断累积，即使可能存在远更优雅的解法也会被掩盖。
- 他提到数学界近期强调「人类理解」，也许正是重新审视已知结果论证是否简洁易懂的时机；为此提议设立专门的「书本证明」发表渠道，鼓励发表已知结果的简化证明。
- 博主 srchvrs 对此表示强烈认同，称科学界积累了大量「科学债」——很多旧结果的有效性存疑。
为什么重要
- 随着 AI 辅助证明越来越多，论证的可读性与可理解性成为被忽视的系统性风险；若不引导社区投入简化工作，数学文献可能加速变得晦涩难查。
- 「书本证明」渠道的提议指向一种可落地的激励机制改革，试图扭转只奖励「第一个证明者」的发表文化。
2026-10-06 ~ 2026-10-06 · 8 条相关
一手来源
- AI 数学热只追新结果,没人用 AI 简化旧证明?Kamath 发问 — thegautamkamath ·
- AI 擅长证明新定理，却没人用它清理数学文献里的科学债 — srchvrs ·
- 【源头】AI 数学热只追新结果,没人用 AI 简化旧证明?Kamath 发问 — thegautamkamath · 2026-10-06
- Gautam Kamath:AI 求解数学日益难懂,人类可读性被忽视 — thegautamkamath · 2026-10-06
- Kamath 解释为何无人做 AI 简化证明:发表文化只奖励第一个 — thegautamkamath · 2026-10-06
- Kamath:当前 AI 难产出优雅解法,叠加改造令证明愈发晦涩 — thegautamkamath · 2026-10-06
- Kamath 警告:AI 论文层层叠加,整个解法可能变得无法读懂 — thegautamkamath · 2026-10-06
- 学者担忧 AI 辅助证明层层叠加致数学论证不可读，提议设「书本证明」专区 — thegautamkamath · 2026-10-06
- 【源头】AI 擅长证明新定理，却没人用它清理数学文献里的科学债 — srchvrs · 2026-10-06
另有 1 条近重复转述:thegautamkamath