陶哲轩: “我们正进入数学的证明丰裕时代”
由 AI 翻译，经编辑部审校
· 科学 · 在加州理工学院的“Math 2.0”讲座中谈 AI 对数学的影响
原文
“As a consequence of this massive investment, we are now entering an era of proof abundance in mathematics. […] Further blind optimization of problem-solving alone is now actively harmful to the long-term health of mathematics.”— 陶哲轩, Caltech, «Math 2.0», 09.10.2026 ↗
译文
“由于这笔巨大的投入，我们正进入数学的证明丰裕时代。[…] 继续一味盲目地优化解题能力，如今正在切实损害数学的长期健康。”
核实
✓ 已与原始来源核对
原文逐字引用，仅为片段——以表达含义为限；“[…]”表示省略。译文由我们翻译。
¶ cacw8rarw