陶哲轩谈数学2.0时代

AI 解读（根据原文生成）

文章报道陶哲轩关于“数学2.0”的观点：AI正在降低获取数学证明的门槛，使传统基于“证明稀缺”的数学评价体系受到冲击。他认为数学易受AI影响，原因包括证明可客观检验、对象和推理过程可数字化，以及大量高质量文献已数字化。同时他提醒需警惕只展示成功案例的幸存者偏差，呼吁建立更透明科学的评估机制，纳入失败结果、算力成本和人类参与程度，并强调证明之后仍需要解释、评审、共同体接受和知识整理。

要点（AI 据原文整理，数字均已与原文核对）

• OpenAI一夜之间甩出722篇数学论文，扫射准黎曼猜想、霍奇猜想、BSD猜想全等多个重磅研究。
• AI把王虹所解决的三维挂谷集维数猜想，进一步扩展到了四维。
• 陶哲轩归纳数学容易受到AI冲击的三个条件：证明可客观检验、数学对象和推理过程高度可数字化、大量高质量研究文献已数字化。
• 陶哲轩呼吁建立更透明和科学的评估机制，把失败结果和AI算力成本一并纳入报告。
• 陶哲轩把解题拆成五个阶段：生成证明、验证正确性、解释清楚、被共同体理解和接受、最终融入领域的标准理论。
• 10月7日，OpenAI一口气甩出的722篇数学论文。