23:05
官方账号Decoder@Matthias Bastian
72°
推荐理由：数学家陶哲轩说AI可能引发数学领域危机，和1900年那次一样严重。他建议，如果一个证明没人能解释，那它就是不完整的。
危机
共 1 条相关 AI 资讯
8月20日
23:05
陶哲轩在文章中警告，AI可能引发数学领域自1900年基础危机以来最大的危机。这次危机考验的不是数学真理，而是该领域的价值观，包括什么算作贡献、什么值得奖励以及谁完成了工作。他提出一个经验法则：如果一个证明没有人类能解释，就应该被视为不完整的。