陶哲轩ICM警示：AI泛滥引发“证明消化不良”，数学界面临新危机

当全球还在争论AI解题能力时，最顶尖的数学家之一站上讲台，给出了一个令人不安的答案：能，而且强得惊人，强到可能引发灾难。2026年7月底，费城，国际数学家大会（ICM），数学界的“奥林匹克”。菲尔兹奖得主陶哲轩登台演讲，题目仅六个单词：Mathematics in the Age of AI。他向顶级数学家们宣告：答案将多到令人应接不暇。▲ 幻灯片核心：红色标注的“proof indigestion”（证明消化不良），标志着从“证明稀缺”向“证明泛滥”的范式转变陶哲轩没有空谈，他展示了一组实测数据名为Fi