< img src="https://cdn1.telesco.pe/file/PZALxsyJj6S_mONd9E_4lj5XETzooaA135dyrCLxdi40JSbSRga9P-QKtdAGSMaYqHyY2coXP2TUT-jb1fBV8a4s7MqvNaV6lIAj3qGgSYcCky7pLO5gq0hdYZLA1G8hZ_HkhY6m5SfDgoCnnNcI5Bfo-jPDgR8PJIn0aXby9XwamlKARRj_wO9-rS1Z-RtKzqWOojRecIw3tYhp0uL7PBIQN6oXL6_DvgzroQi-ma0JPicIzoYADhycsLBv-R5ljlCWHMb4mAmbn1CWq721i5Dos7roQakcIPNqVhnftUfxel46sqVfUm8sJ_OUB-YemzMfkPTrgDlXvaPrDmTVbQ.jpg" alt="" />
陶哲轩称 AI 或致数学界最大危机，警告证明过剩致无人能懂
陶哲轩在为 2026 年国际数学家大会撰写的文章中指出，数学界应停止争论 AI 能做什么，转而正视研究目标这一被回避的问题。他将当下比作 1900 至 1930 年间由罗素悖论和哥德尔不完备定理引发的基础危机。
他援引 First-Proof 项目：第二轮中 10 道未发表研究题由 4 个 AI 系统测试，7 道至少被一个系统判为合格，每题成本数十至数百美元。他警告数学可能从证明稀缺转向证明过剩，并称无人能清晰讲解的证明即使通过形式验证也应视为不完整。
The Decoder
在花频道 · 茶馆水群 · 投稿通道
0 评论