OpenAI推理模型独立攻克80年数学难题

数学界迎来了一场史无前例的突破。OpenAI正式宣布，其内部一款通用推理模型在没有任何人类手把手引导的情况下，独立推翻并解决了组合几何领域困扰学界80年的经典难题——埃尔德什单位距离猜想（Erdős unit distance problem）。这一成果标志着AI从“研究助理”正式蜕变为“科学发现者”。

该问题由传奇数学家保罗·埃尔德什于1946年提出：在平面上摆放n个点，最多能有多少对点之间的距离恰好等于1？过去80年间，顶尖数学家们普遍认为最优解应该是类似棋盘网格的排列，点对数量的增长速度应几乎是线性的。然而，OpenAI的模型没有沿着传统几何思路死磕，而是利用代数数论（包括类域塔、Golod–Shafarevich定理等）构造出了一套全新的点集排列方式，证明了单位距离点对的增长速度确实可以超过线性增长。

菲尔兹奖得主、著名数学家蒂莫西·高尔斯在评价此事时表示：“这毫无疑问是AI数学史上的一座里程碑。如果这篇论文是由人类撰写并提交给《数学年鉴》，我会毫不犹豫地推荐接受。”这不仅是一次简单的计算，而是AI首次在“无人区”开辟新路径。它不仅给出了答案，更提供了一种人类此前未曾深入挖掘的几何视角与跨学科桥梁。该项成果长达125页，在公开后迅速经过了全球顶尖数学家的验证，多位专家一致认为其逻辑严密、创新性极高。

这一突破揭示了AGI发展的深层逻辑变迁。AI不再局限于在现有知识体系中“整理数据”，而是展现出了作为独立研究者的潜力，能够自主探索、提出假设并进行逻辑论证。模型成功将几何难题与深奥的代数数论联系起来，这种连接学科的能力，正是人类专家长久以来引以为傲的“直觉”与“深刻洞察”。此次证明过程表明，通用推理模型已能够维持长逻辑链的严谨性。这意味着同样的架构未来有望在物理、材料科学、生物医学等更复杂的科研领域复制这一“科学发现”能力。

正如该模型在描述构造过程时所用的评价，这是一个“令人敬畏”的跨越。虽然AI取代数学家尚远，但它已经正式拿起了那根名为“科学发现”的接力棒。正如一位数学家所言，正如望远镜之于天文学，AI正在成为数学家手中新的“科学观测望远镜”，帮助人类眺望远超以往的数学地平线。