RecodeX 重构消息,数学家陶哲轩在新文章中警告,人工智能可能将数学推向与1900年前后基础性动荡相当的危机。此次考验的不是数学真理,而是该领域的价值观:什么算贡献、什么获得奖励、以及工作由谁完成。他提出一条经验法则:无法被任何人解释的证明应被视为不完整。