# 陶哲轩称 AI 或致数学界最大危机，警告证明过剩致无人能懂

Source: https://www.zaihua.news/article/43295/

[返回新闻流](https://www.zaihua.news/)
2026年8月20日 · 21:19 · [在花新闻](https://www.zaihua.news/about/)

# 陶哲轩称 AI 或致数学界最大危机，警告证明过剩致无人能懂

陶哲轩在为 2026 年国际数学家大会撰写的文章中指出，数学界应停止争论 AI 能做什么，转而正视研究目标这一被回避的问题。他将当下比作 1900 至 1930 年间由罗素悖论和哥德尔不完备定理引发的基础危机。

他援引 First-Proof 项目：第二轮中 10 道未发表研究题由 4 个 AI 系统测试，7 道至少被一个系统判为合格，每题成本数十至数百美元。他警告数学可能从证明稀缺转向证明过剩，并称无人能清晰讲解的证明即使通过形式验证也应视为不完整。

[The Decoder](https://the-decoder.com/terence-tao-says-ai-could-trigger-maths-biggest-crisis-since-godel/)

🌸 [在花频道](http://t.me/ZaiHuaPd) · [茶馆水群](https://t.me/zaihuachat) · [投稿通道](http://t.me/ZaiHuabot)

https://cdn.zaihua.news/main/43295/mtproto-0-8f14bd06dbfd1c1a.jpg

[上一条阿里巴巴第一财季净利 105.37 亿，同比下滑 76%](https://www.zaihua.news/article/43294/)[下一条Black Forest Labs 推出 FLUX Upscale，视频可重生成原生 4K](https://www.zaihua.news/article/43296/)