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

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

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