OpenAI的模型如何推翻了埃尔德什猜想并打动齐默曼？

2026年5月，OpenAI的通用推理模型在无人类引导下独立证伪了匈牙利数学家埃尔德什于1946年提出的平面单位距离猜想，这一突破不仅被称为“AI数学史上的里程碑”，也直接打动了当时正攻克该猜想的加拿大数学家、新晋菲尔兹奖得主雅各布·齐默曼，促使他宣布加入OpenAI投身AI安全研究。

一、80年悬案的背景与核心挑战

1. 埃尔德什单位距离猜想是什么

匈牙利数学家保罗·埃尔德什在1946年提出一个离散几何核心问题：在平面上的n个点中，两两之间恰好相距1个单位长度的点对数量最多能有多少？埃尔德什猜想的最优排列是按网格状晶格布局，单位距离点对数量的增长速率应接近n^{1+o(1)}，即略超线性增长。

2. 为何悬置80年未解

这一猜想看似简单，实则涉及组合几何、数论与代数结构的深层交叉。数学界长期默认晶格构造已接近最优，且该问题缺少有效的跨学科工具来突破。几代数学家的尝试均止步于线性增长的边界。

二、OpenAI模型的突破路径

1. 零人类引导的独立发现

2026年5月，OpenAI的内部通用推理模型在没有预设数学指引的完全自主状态下，独立构造出一个全新的点集排列，证明单位距离点对的增长可以达到n^{1+δ}的超线性速率，直接否定了埃尔德什的原始猜测。

2. 跨领域工具的创造性融合

模型巧妙地跨界融合了代数数论与离散几何——两个以往被视为互不关联的领域。它运用了类域塔、Golod–Shafarevich定理等代数数论工具来构造新的点集结构，这种“跨界思维”是纯人类数学家极难自发产生的。

3. 成果规模与验证流程

模型产出的完整证明长达7.5万词（约125页），系统展示了从构造到证明的完整逻辑链条。成果经由菲尔兹奖得主蒂莫西·高尔斯等顶尖数学家联合审验，结论被认定为完全正确。高尔斯公开评价：“若由人类写出这篇论文，顶级期刊必收”。

三、齐默曼被打动的三个关键节点

1. 他曾亲自“接近过”却因算力放弃

齐默曼在2026年7月受访时坦言，推翻埃尔德什猜想的思路他本人也曾隐约触及，但因为传统学术机构的算力预算有限、手动推演耗时太长而放弃。OpenAI用大规模算力和强化学习支撑下的“暴力搜索+抽象重构”，把人类数学家不敢想的路径走通了。

2. 他作为联署数学家全程参与了验证

齐默曼正是OpenAI那篇推翻埃尔德什猜想的配套论文的九位联署数学家之一。他亲手验证了模型证明中的每一个关键步骤，从内部确认了AI并非“碰巧撞对”，而是构造了自洽且严谨的数学体系。

3. 直接促使他重估数学职业的未来

亲眼见证AI完成自己想做但做不到的事后，齐默曼的判断发生了根本转变。他此后多次公开表示：“两年内AI在证明定理上可能就比我们强了，到那时候我们只需要说：这是命题，去证吧。” 这一判断直接推动他在获得菲尔兹奖的当天宣布转向AI安全。

四、从“验证者”到“内部塑造者”的角色切换

1. 参与AI安全论文与风险分类

2025年，齐默曼与AI安全学者安德鲁·克里奇合著论文《人工智能导致人类灭绝的未来情景分类》，系统梳理了AI可能导致人类灭绝的五类路径，核心目的是为政策与科研圈提供分类防范工具。

2. 停止招收博士生的冷酷决定

他认为：“我不愿意再训练年轻人，让他们投身一个可能几年内就不复存在的职业。” 已入学的博士生到2030年毕业时，其导师在AI面前可能已失去速度和准确性上的比较优势。

3. 加入OpenAI做AI安全

齐默曼的逻辑是：“既然挡不住，不如进场搞清楚它、参与塑造它，否则我们可能会被甩下。” OpenAI首席研究官Mark Chen及前微软副总裁Sebastien Bubeck均已公开确认并欢迎他的加入。

五、行业共振：师徒接力与学科迁移

1. 学生用AI兑现老师的预判

齐默曼本科时期指导过的学生Levent Alpöge，在颁奖前三天刚用Anthropic的Claude Fable 5发现了悬置87年的雅可比猜想在三维及以上的反例。老师在唯一一条X帖子中预言AI将接管解题，学生用AI把预言提前兑现。

2. 顶尖数学家群体流动趋势

齐默曼并非孤例。57岁的解析数论权威Ken Ono去年辞去弗吉尼亚大学终身教职，加入AI数学公司Axiom Math当第15号员工。头部AI企业给资深科学家的薪酬远超大学终身教职，且在自动定理证明、形式化验证等方向拥有企业级算力和私有数据集。