分类: AI 资讯

Terence Tao 称 AI 可能引发自 Gödel 以来数学界最大危机

Terence Tao 称 AI 可能引发自 Gödel 以来数学界最大危机

数学家陶哲轩在 2026 年国际数学家大会论文中警告,AI 正在迫使数学界回答“研究到底为了什么”,其冲击或堪比哥德尔不完备定理引发的数学基础危机。核心矛盾不再是“AI 能否做数学”,而是当机器生成的证明泛滥,人类对“理解”和“贡献”的定义将被彻底改写。