陶哲轩说数学界从缺证明变成证明太多，AI 生成的“生肉证明”堆满 GitHub

AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了

陶哲轩最近公开说，数学研究的瓶颈已经从“找不到证明”变成了“证明太多看不过来”。在一个关于 Erdős 问题的 GitHub 页面上，已经有 20 多个 AI 生成的解法等着人去评估。文章提到 GPT-5.4 Pro 用 80 分钟就给出了 Erdős #1196 的一个思路，陶哲轩自己在 24 小时内验证了核心部分。现在真正头疼的不是 AI 能不能解...

推荐理由：这篇东西不是模型发布，但把陶哲轩的发言和 GitHub 上的 AI 证明积压摆在一起，信息量够硬。我会先打个折，因为正文没给出那 20 多份解法的具体通过率或质量分布，只能看到数量堆上去了。真正值得盯的是陶哲轩说的验证与消化工作流——证明便宜了，判断力反而更贵，这个转向对从业者比裸看模型跑分更有参考价值。