精选理由
数学家陶哲轩说AI可能引发数学领域危机，和1900年那次一样严重。他建议，如果一个证明没人能解释，那它就是不完整的。
陶哲轩在文章中警告，AI可能引发数学领域自1900年基础危机以来最大的危机。这次危机考验的不是数学真理，而是该领域的价值观，包括什么算作贡献、什么值得奖励以及谁完成了工作。他提出一个经验法则：如果一个证明没有人类能解释，就应该被视为不完整的。
原文 · Decoder
Terence Tao says AI could trigger math's biggest crisis since Gödel
In a new essay, Terence Tao warns that AI could push mathematics into a crisis on par with the foundational upheaval around 1900. What's being tested this time isn't mathematical truth but the values of the field: what counts as a contribution, what gets rewarded, and who did the work. His rule of thumb: a proof that no human can explain should be considered incomplete. The article Terence Tao says AI could trigger math's biggest crisis since Gödel appeared first on The Decoder .