欢迎来到数学中的AI危机

背景：OpenAI 投下数学炸弹

2026年8月20日，The Verge 主编 Nilay Patel 在 Decoder 播客中对话伦敦 AI 记者 Robert Hart，讨论 AI 对数学的冲击。Hart 称数学界出现存在主义危机，核心是“数学是什么？数学家在做什么？未来角色是什么？”过去六个月到一年，AI 从被公认数学很差，突然在专业层面表现很好。即便仍不擅长算术、数草莓中的 R、判断星期和看时间——Elissa Welle 曾写 ChatGPT 不会看时间——但抽象数学推理进步惊人。数学并非单一学科，AI 在某些部分很强，计数等仍差，拓扑据称也仍弱。

关键细节：Astra 与十项突破

• 今年五月，OpenAI 一个未公开内部模型证伪了 80 年历史的 unit distance conjecture；Hart 认为它可能就是后来披露的 Astra。
• 几周前，OpenAI 发布博客与数百页证明材料，题为“10 Advances in Mathematics and Theoretical Computer Science”，称最新模型 Astra 在量子博弈论、高维球堆积等多个领域解决或推进了 10 个问题。
• 研究者说，人类若解决其中任意一个，学术生涯可能稳了；若全解十个，几乎难以置信。这些是数学家真正关心的问题。
• 争议在于归因：OpenAI 最初称这些问题过去 10 年无进展，但论文承认建立在两位研究者工作上，之后悄然修改。被点名研究者态度复杂。
• 验证方面，数学证明可用 Lean 编程/计算证明语言检验，OpenAI 也公布了材料；受访数学家未怀疑核心突破，但认为新闻稿有炒作。约 50 人可能深读。未发布模型无法独立测试，也不知尝试多少次。AI 实验室还在幕后招聘资深数学家。

意义：被“割草”还是新领域？

菲尔兹奖得主 James Maynard 说自己一直在 soul-searching。苏黎世研究者 Johannes Schmitt 担心，数学问题可能被 AI“mowed down”，但人类被排除在循环外，不检查、不理解、不知未来突破在哪，领域未必前进。传统上解题会催生新领域、新工具和新问题；若 AI 只是清空题库，数学可能变得贫瘠。Maynard 还指出，若可发表标准变成 AI 不能做，而 PhD 通常四年，挑战不是 AI 现在不能做什么，而是四年后 AI 能做什么。对起步学生而言，选择冷门领域也可能中途被 AI 追上。Hart 结论：jury is out，数学不是快学科，现在判断为时过早，但担忧真实且重大。