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

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

- 来源：新智元 · 公众号
- 发布时间：2026-04-30T05:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/12333
- 原文：https://mp.weixin.qq.com/s?__biz=MzI3MTA0MTk1MA==&mid=2652696520&idx=2&sn=31be61e5f6a35e44b5da2b2252a59186

## 摘要

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

## 推荐理由

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

## 锐评

陶哲轩这次发声点出了一个很实际的转向：以前愁 AI 不会证，现在愁 AI 证太多、人跟不上。文章提到 GPT-5.4 Pro 用 80 分钟就给出了 Erdős #1196 的一个思路，陶哲轩自己在 24 小时内验证了核心部分，效率确实高。但要注意，这 20 多个 AI 解法还堆在 GitHub 上等人评估，说明验证流程完全没跟上生成速度。正文没披露这些解法里有多少是错的、多少是重复的，也没说验证成本到底多大。如果大部分是“生肉”级别的半成品，那“证明过剩”更像是个信息筛选问题，而不是 AI 真把难题解透了。现在还缺一套能把 AI 输出快速分级、标注可信度的工具，否则数学家只是从翻论文变成了翻 AI 草稿。