AI自主攻克80年数学猜想，数学家担忧行业消亡
2026/05/31 20:19阅读量 2
2026年5月，OpenAI的通用推理模型自主推翻数学家埃尔德什提出的“平面单位距离问题”猜想，菲尔兹奖得主高尔斯称其证明质量可发表。随后Google DeepMind推出AlphaProof Nexus系统，攻克53个埃尔德什问题中的9个。然而，北大数学家恽之玮、许晨阳对此表示深切忧虑，认为AI可能最终消灭数学行业，剥夺人类与伟大数学心灵对话的能力。技术层面，AI数学仍面临证明长度限制、错误率和形式化验证覆盖不足等挑战。
事件概述
- OpenAI推翻80年猜想：2026年5月，OpenAI的内部通用推理模型在不经专门数学训练、无人类提示的情况下，自主解决了离散几何中的“平面单位距离问题”。该猜想由数学家保罗·埃尔德什于1946年提出，困惑学界近80年。AI并非采用传统的几何构造，而是将问题转化为代数数论，利用类域塔等深层工具构造点阵，证明点对数量可超越埃尔德什猜想的界限。菲尔兹奖得主蒂莫西·高尔斯评审后表示，该证明达到可发表在《数学年刊》的水平。
- Google DeepMind系统化推进：紧随其后，DeepMind推出AlphaProof Nexus，结合大语言模型与Lean形式化证明工具。该系统已自主攻克53个开放埃尔德什问题中的9个，并证明在线整数序列百科（OEIS）中492个开放猜想中的44个，每个问题计算成本仅数百美元。系统通过自动搜索证明方向并用Lean逐行验证，避免了AI常见的逻辑幻觉。
核心信息
- 数学界的“AlphaGo时刻”：多位数学家认为AI已展示出超越人类直觉的推理能力。OpenAI研究员马克·塞尔克表示，目前判断研究什么问题的决定仍由人类做出。DeepMind团队预测，到2030年左右AI和人类数学家可能共同获得菲尔兹奖。
- 技术瓶颈仍存：当前AI模型生成的证明通常只有3-4页，难以达到重大成果所需的百页量级；AI证明中常隐藏逻辑漏洞，需人类花费大量时间核查；开源形式化语言Lean覆盖的数学领域仍有限，多数AI生成的方案仍需数学家人工验证。
值得关注
- 数学家对行业前景的忧虑：北大数学“黄金一代”代表人物恽之玮指出，若数学工作者将简单证明交给AI处理，将难以培养洞察力，AI若持续发展终将消灭数学行业。许晨阳认为，学习数学的意义在于与伟大心灵对话，若对话对象变成机器，人类可能丧失这种交流能力；此外，集中资源让机器解决跨时代猜想对人类究竟有无意义值得反思。
- 2026年被视为数学AI元年：从单一问题突破到系统性攻克开放猜想，AI在数月内展现出惊人潜力。但数学不仅是解答技艺，更关乎提问、理解与美。人类如何与AI共存、保持自身在数学中的核心价值，仍是待解之题。