Gautam Kamath：AI 数学研究忽视简化旧证明

2026 年 10 月 6 日，多伦多大学教授 Gautam Kamath 指出 AI for math 领域存在盲区：几乎没有人用 AI 去简化旧的数学证明，研究关注点几乎全部集中在产出新结果上。他把这一现象归因于发表文化——荣誉几乎只归于第一个得到结果的人，而简化类工作通常难以发表，Dinur 对 PCP 定理的简化证明属于少数例外。Kamath 由此提出，数学界或许是时候重新审视对已知结果的论证。截至该报道，尚无数学界或其他研究者对此作出回应的消息。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。