陶哲轩称 AI 可能引发自哥德尔以来数学界最大危机

陶哲轩在一篇新文章中警告，AI 可能把数学推入一场与 1900 年前后基础动荡同级别的危机。他认为这次受考验的不是数学真理，而是领域的价值判断，包括什么算贡献、什么获得奖励、工作由谁完成。他给出的经验法则是，一个没有人能解释的证明应被视为不完整。