AI 数学热只追新结果,没人用 AI 简化旧证明?Kamath 发问
thegautamkamath · x · 2026-10-06
多伦多大学教授、知名理论计算机科学家 Gautam Kamath 发推系列讨论 AI for math 的盲区:
- 目前 AI for math 的关注点几乎全在产出新结果上
- 但很少有人想到用 AI 去为旧结果寻找更简单、更优雅的证明
- 他呼吁大家用 AI 这个新超能力去「清理文献」
后续推文补充:简化工作难发表是因为发表文化只奖励第一个得到结果的人(例外如 Dinur 对 PCP 定理的简化);而据他经验,当前 AI 模型即便去除「slop」后也难以产出人类可读、优雅的解法——AI 互相叠加的技术改造会让整个解法越来越晦涩,虽无单篇明显过错,但混淆不断累积。
所属事件:Kamath：AI 只顾追新证明，无人清理数学「科学债」(7 条相关)→
「研究」频道最新
- 华为诺亚提出 Tail-Influence Sampling:策略评估 CVaR 估计误差最高降 76% — huawei-noah · 2026-10-06
- Google 发布 KeyRec:仅用 10% 视觉 token 预算搞定长视频与流式理解 — google · 2026-10-06
- 4DCodeBench 基准:前沿模型能重建静态场景却搞不定动态物理 — 4DCodeBench · 2026-10-06
- OmniTask 论文:生成数据训练确能提升理解任务表现 — WeijiaShi2 · 2026-10-06
- 牛顿证乘积法则不用极限：离散对称差分让高阶项神奇消失 — ctjlewis · 2026-10-06
- DeepMind 从零设计酶：一酶产药靶分子效率高 99 倍，一酶 90°C 降解塑料 — 141_1337 · 2026-10-06