当真理开始“过剩”：AI 时代数学的价值危机与人类理解的回归
陶哲轩在2026年国际数学家大会演讲中探讨了人工智能对数学研究及其社区价值的深远影响。他认为，虽然AI展示了解决复杂课题的潜力，但这种进步促使数学界必须重新审视其核心目标与价值观。陶哲轩详细拆解了问题解决的流程，指出仅仅产出正确证明是不够的，真正的价值在于人类对知识的理解、传播与体系化。他警告说，由于AI可能导致证明产出的爆发式增长，数学界需要通过Leiden宣言等准则，增强对论文评审和成果消化等环节的关注。文章呼吁数学家保持研究中的人文属性，确保技术工具是服务于人类对真理的集体认知。
一、 核心观点
类比 20 世纪初由于悖论而引发的数学“基础危机”，AI 时代的到来并未动摇数学真理的客观性，但正在剧烈冲击数学界的“隐性价值与学术规范”——即什么是学术贡献、如何奖励、何为真正的理解，以及谁（或什么）完成了工作。
历史上，数学的多元目标（解决问题、建立理论、培养下一代、构建社区等）是高度协同的。但当 AI 被过度优化用于单一指标（如追求“解题数量”）时，会触发古德哈特定律（“当指标变成目标时，它就不再是一个好指标”），导致原本协同的数学目标发生分化和偏离。
数学界将从“证明稀缺”时代跨入“证明过剩（proof abundance）”时代，这会导致学术流水线的严重“消化不良”。陶哲轩将完整的解题工作流解构为五个阶段：证明生成 →→ 证明验证 →→ 证明阐释 →→ 同行评审/接受 →→ 理论规范化（Canonicalization）。他指出，数学界应降低对“证明生成”和争夺首发权的崇拜，大幅提升对“证明消化”各阶段（如阐释和规范化）的学术重视与奖励。
针对可能出现的“正确但人类无法理解的AI证明”，陶哲轩提出了一条关键的经验法则：如果作者无法就其研究成果做一场清晰、达到专家级水平、正确且归因完整的学术报告，该结果就不应发表。即使证明通过了形式化验证，若无人类能够合理解释，也应被视为“不完整的”。
数学家应遵循《莱顿宣言》，在论文中主动设立“工具与计算资源披露”章节，坦诚公开 LLM、证明辅助器等 AI 工具的使用；通过提供形式化证明和精确引用减轻审稿人负担；捍卫人类的作者权 并主动纠正 AI 在文献归因上的已知缺陷。
二、 关键数据
- 该项目对 AI 在全新、未在互联网公开的研究级数学题上的表现进行独立评估。
- 在第二批评估中，研究人员使用 2026年5月28日 前公开的 4 个前沿 AI 系统，测试了由数学家提供的 10 个研究级新问题。
- 结果显示，10 个问题中有 7 个问题获得了至少一个 AI 系统给出的“合格”评分（被评为基本完美或仅需微调）。
- 每个问题的计算成本仅在数十到数百美元的数量级。
- 《莱顿人工智能与数学宣言》发表于 2026 年 6 月，源自 2025 年在荷兰莱顿洛伦兹中心（Lorentz Center）举办的一场研讨会。
- 该宣言共包含 23 条具体建议，旨在指导个人数学家、数学组织及资助机构在 AI 时代的行动。
- 数学史上的第一次“基础危机”大约持续于 1900 年至 1930 年。
- 这一危机由 1901 年发现的罗素悖论和 1931 年的哥德尔不完备定理共同驱动。
- 危机后确立的现代数学公理化基础，已经历了约 1 个世纪（100年） 的 strenuous 测试。
https://arxiv.org/pdf/2608.16753
