陶哲轩ICM演讲亮出警告：AI证明洪流淹没数学界，人类正被活活撑死

数学，人类智慧王冠上最坚硬的那颗明珠，正遭遇一场史无前例的危机：证明的数量之多，已远超人类消化的极限。2026年7月24日，费城，国际数学家大会（ICM 2026）。 菲尔兹奖获得者、"当代数学界的莫扎特"陶哲轩登上公众讲座的主席台，抛出了一番令全场鸦雀无声的论断：人工智能正将数学界推入"证明消化不良"（proof indigestion）的境地，机器以排山倒海之势产出证明，而人类的理解力、审阅力与消化能力，远远难以匹敌。这是一份严肃的判断，出自在分析、组合与数论领域深耕三