陶哲轩提出数学 2.0：AI 让证明泛滥，呼吁评估纳入失败结果与算力成本

菲尔兹奖得主陶哲轩发文提出“数学 2.0”，认为 AI 正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学 1.0 评价体系即将落幕。他归纳出数学易受 AI 冲击的三个叠加条件：证明可被客观检验、数学对象和推理过程高度可数字化、大量高质量研究文献已以数字形式存在。他提醒 AI 能力并不均匀、厂商多展示精挑细选的成功案例，呼吁建立更透明科学的评估机制，把失败结果和 AI 算力成本一并纳入报告。他还把解题拆成生成证明、验证正确性、解释清楚、被共同体接受、融入领域标准理论五个阶段，认为最后一步 AI 很难加速，主张减少对抢先出证明的强调。10 月 7 日 OpenAI 一次性发布 722 篇数学论文后，陶哲轩牵头成立人类数学协会（AHM），并发布联合声明称这种做法不算科研、敦促数学家停止与 OpenAI 合作。