菲尔兹奖得主警告：AI或将在两年内超越人类数学证明
菲尔兹奖得主警告 AI 将很快超越人类数学证明，引发数学传统被“撑死”的危机。
多位菲尔兹奖得主近日警告，AI 可能在未来两年内全面超越人类数学证明能力，导致数学传统被“撑死”——文献过剩但无人能懂。陶哲轩、Gowers 等数学家担忧，AI 生成证明的速度将使人类不再有动力投入多年训练，数学或沦为无人翻阅的“思维墓地”。
正文摘录
 新智元报道  今年的菲尔兹奖颁发后，发生了一件令人震惊的事。 和王虹、邓煜一起获奖的 多伦多大学教授 Jacob Tsimerman，居然紧接着宣布加入 OpenAI，转行从事 AI 安全研究。 他的理由是： 2 年之内，AI 将在所有数学证明领域，彻底超越人类。 次日，费城 ICM 2026 现场，菲尔兹奖得主陶哲轩同样忧心忡忡地说出了下面这句话： 我相信我们正在进入一个动荡的时期——一个数学价值观与实践基础遭遇危机的时期。  更巧合的是，另一位菲尔兹奖得主 Timothy Gowers 也给出了类似的判断。 LLM 很快会在数学问题求解的所有方面超越人类，甚至可能包括提出问题、构建理论、制定定义等环节。 他警告：AI 杀死数学的方式，可能比我们想象的要更优雅，更残酷。   AI 饿不死数学 但「撑死」了数学家 对于 AI 的这股力量感到恐惧的数学家，不止他一个。