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