OpenAI 模型自主证明 Erdős 离散几何猜想：AI 数学推理的里程碑时刻

论文/技术链接：https://openai.com/index/model-disproves-discrete-geometry-conjecture/

原始发布日期：2026 年 5 月 20 日 | 来源：OpenAI 官方博客

📌 核心问题：一个悬置 80 年的几何之谜

1946 年，传奇数学家 Paul Erdős 提出了一个看似简单的问题：在平面上放置 n 个点，最多能有多少对点之间的距离恰好为 1？这就是著名的「平面单位距离问题」（Planar Unit Distance Problem），被 Brass、Moser 和 Pach 在 2005 年的著作中称为「可能是组合几何中最著名（也最容易解释）的问题」。

80 年来，数学家们普遍认为「正方形网格」构造已经是最优解。Erdős 本人甚至为解决这个问题设了奖金。最佳上界 O(n^(4/3)) 自 1984 年 Spencer、Szemerédi 和 Trotter 的工作以来基本未变。然而，OpenAI 的一个通用推理模型打破了这个持续数十年的共识——它自主构造了一个无穷族的反例，证明存在固定指数 δ > 0，使得对无穷多个 n 值，可以找到至少 n^(1+δ) 个单位距离对。

这一结果的惊人之处在于：证明的数学工具来自一个完全意想不到的领域——代数数论。模型运用了无穷类域塔（infinite class field towers）和 Golod-Shafarevich 理论等深层工具，将代数数论的思想引入了欧几里得平面的几何问题，这在数学界引起了巨大震动。

📊 关键数据与技术突破

  • 问题历史：1946 年由 Erdős 提出，悬置近 80 年
  • 原最佳构造：重缩放正方形网格，增长率为 n^(1 + C/log log n)，仅略快于线性
  • 新结果：证明存在 δ > 0（Princeton 教授 Will Sawin 后续精化为 δ = 0.014），对无穷多个 n 值可达 n^(1+δ) 个单位距离对
  • 最佳上界：O(n^(4/3))，自 1984 年以来未变
  • 模型类型：通用推理模型，非数学专用系统，非针对性训练

🏗️ 技术架构与证明设计

  • 起点 — Gaussian 整数：Erdős 的原始下界可通过高斯整数 a+bi 理解，高斯整数具有唯一素因子分解性质
  • 关键创新 — 代数数论推广：模型将高斯整数替换为具有更丰富对称性的更复杂代数数域推广，从而产生更多的单位长度差
  • 存在性证明 — 类域塔理论：运用无穷类域塔和 Golod-Shafarevich 理论证明所需数域确实存在
  • 跨领域融合：将代数数论的工具创造性地应用于组合几何问题，揭示了两个领域之间此前未知的深刻联系

🔑 关键洞察

🔑 AI 自主解决前沿数学问题的首例：这是第一次一个在数学某子领域中占据核心地位的重要开放问题被 AI 自主解决。不同于以往 AI 辅助证明（如四色定理的计算机辅助），这次是模型自主发现证明策略并完成论证。Fields 奖得主 Tim Gowers 称其为「AI 数学的里程碑」。
🔑 通用推理模型的涌现能力：证明来自一个通用推理模型，而非数学专用系统。这意味着大语言模型的推理能力已经达到了可以在纯数学领域做出原创性贡献的水平。模型在 Erdős 问题集合上测试时自主发现了这个证明，展示了跨领域知识迁移的能力。
🔑 意想不到的数学联系：证明最深刻的意义可能不在于解决具体问题，而在于揭示了代数数论与离散几何之间此前完全未知的桥梁。正如 Thomas Bloom 所言：「这表明数论构造对这类问题有远超我们预期的贡献，而且所需的数论可以非常深邃。」这可能开启一个全新的研究方向。
🔑 人机协作的新范式：OpenAI 发布证明后，外部数学家撰写了配套论文，对结果进行了更丰富的阐释。这种「AI 发现 + 人类深化理解」的协作模式，可能成为未来数学研究的新常态。AI 负责搜索和探索，人类负责解释和追问。

🚀 引发思考

这一成果的意义远超离散几何本身。如果一个模型能够保持复杂论证的连贯性、连接遥远的知识领域、并产出经得起专家审查的工作，那么这种能力同样适用于生物学、物理学、材料科学、工程学和医学。它展示了 AI 在创造性研究中的潜力——不仅是工具，更是研究伙伴。正如 OpenAI 所言：「AI 即将在研究的创造性部分扮演非常严肃的角色，最重要的是在 AI 研究本身。」

但这也带来了新的挑战。当 AI 系统变得足够聪明，能够自主解决前沿数学问题时，对齐（alignment）和理解这些系统的决策过程变得更加紧迫。未来仍然需要人类判断力——专家选择重要的问题、解释结果、决定下一步探索方向。AI 帮助我们更充分地探索人类几个世纪以来构建的数学大教堂，但哪些隐藏的奇迹等待被发现，仍由人类来决定。

📎 相关阅读

  • 原始证明：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
  • 外部数学家配套论文：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
  • 模型推理链摘要：https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf

逍遥云初 | 2026.06.21