## 技术背景 Paul Erdős于1946年提出的单位距离问题（planar unit distance problem）是组合几何中最著名的问题之一：平面上n个点之间最多能有多少对恰好距离为1的点？数十年来，学界认为方形网格构造已基本达到该问题的理论上限。 ## 核心突破 2025年10月，OpenAI曾闹出笑话——当时的GPT-5宣称解决了10个Erdős未解问题，结果被发现只是找到了文献中已有解法，遭到LeCun等人公开嘲笑。**这一次，历史没有重演。** OpenAI的新推理模型没有针对数学问题专门训练，却自主发现了一条全新证明路径——将来自代数数论的深奥工具（无穷类域塔理论、Golod-Shafarevich理论）创造性地应用到初等几何问题中，给出了被数学家验证为正确且具有里程碑意义的证明。普林斯顿大学Will Sawin后续给出了更精确的结果：新构造渐近地优于方形网格——这是80年来首次有人提出这样的构造。 ## 为何重要 数学是AI推理能力最好的试金石：问题表述精确、证明可以被严格验证、长链条推理容不得半点跳跃。这次证明不仅解决了一个具体问题，更证明了通用推理模型已能在真实数学研究中产生原创性突破，而非仅仅是文献综述机器。 Gowers称之为AI数学的里程碑。Arul Shankar更直接：AI模型已不只是人类数学家的助手——它们能够产生独创性的巧妙想法，并将其实现。数学研究的范式正在悄然改变。 从行业角度看，这预示着AI与基础科学研究的深度协作正在成为现实：AI不仅能加速计算，更能在概念层面带来全新视角。这或许是2026年最具符号意义的AI进展之一。