陶哲轩称AI或致数学界最大危机，警告证明过剩致无人能懂陶哲轩在为2026年国际数学家大会撰写的文章中指出，数学界应停止争论AI能做什么，转而正视研究目标这一被回避的问题。他将当下比作1900至1930年间由罗素悖论和哥德尔不完备定理引发的基础危机。他援引First-Proof项目：第二轮中10道未发表研究题由4个AI系统测试，7道至少被一个系统判为合格，每题成本数十至数百美元。他警告数学可能从证明稀缺转向证明过剩，并称无人能清晰讲解的证明即使通过形式验证也应视为不完整。