### [OpenAI数学模型推翻80年数学猜想，这次它没要人类帮忙](https://www.willai.cc/article/2223)

**Published:** 2026-06-20T10:46:42

**Author:** hiyoho

**Excerpt:** 一道困了数学界80年的题 Paul Erdős在1946年提出了一个看起来很简单的问题：平面上放n个点，最多有多少对点之间的距离恰好等于1？ 这个问题叫”平面单位距离问题”。直觉告诉你，如果把点摆成正六边形网格，单位距离的对数应该差不多和n

## 一道困了数学界80年的题

Paul Erdős在1946年提出了一个看起来很简单的问题：平面上放n个点，最多有多少对点之间的距离恰好等于1？

这个问题叫”平面单位距离问题”。直觉告诉你，如果把点摆成正六边形网格，单位距离的对数应该差不多和n成正比。Erdős的猜想就是这个意思——他猜上界是n的某个接近线性的函数。

接下来的80年里，无数数学家在这个问题上留下过工作。Fields奖得主Terry Tao、Jean Bourgain都来试过。每次进展都只是把参数往前推了一点点，没有人能彻底证明它，也没有人能把它推翻。

![AI数学定理证明概念图](https://admin.hiyoho.com/wp-content/uploads/2026/06/openai_math_theorem_proof_2026.png)

OpenAI模型自主完成数学证明，推翻了困扰数学界80年的Erdős猜想

### OpenAI模型做了什么

2026年5月20日，OpenAI联合创始人Greg Brockman在X上发了一条公告，语气平静得有些反常：

> “An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946. This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics.”

这句话里有几个词值得停下来读一遍：**autonomously（自主地）**，**prominent open problem（核心开放问题）**，**first time（首次）**。

他们把一个通用推理模型拉过来，给了它一段文字描述的问题陈述，没有翻译成形式语言，没有人告诉它从哪个方向入手，也没有提供任何中间步骤的提示。模型返回了一段完整的证明。

证明的核心结论是：存在一种n个点的平面配置，使得恰好等于1距离的点对数量至少达到n^(1+δ)，其中δ是某个固定的正指数。这直接推翻了Erdős的猜想。

### 和以前的AI数学工作有什么不一样

过去几年，AI在数学上的进展已经有了几个值得注意的节点。AlphaGeometry在2024年能在奥数几何题上达到金牌水平，但它用的是神经网络加形式化符号系统的混合架构，整套推理框架是人工设计的。

AlphaProof在2024年可以证明奥数中的竞赛题，也是在形式化证明语言（Lean）的框架里工作，问题被提前”翻译”成机器可操作的格式。

它们很强，但有一个共同特点：**人类的介入不只是提问，而是设计了整套工作框架**。AI在其中像一个被放进跑道里的赛马，跑得很快，但跑道是人铺的。

这次的OpenAI模型不同。它接收的是一段文字描述的数学问题，没有翻译成形式语言，没有人告诉它从哪个方向入手，也没有提供任何中间步骤的提示。它产出的是一段完整的证明，然后交给人类验证。

### 数学家怎么看

Fields奖得主Tim Gowers在看到这个结果后公开表示，这个结果引出了”真正有趣且微妙的问题”。他的措辞是克制的，但Gowers向来是这种风格。他没有说”AI成了数学家”，也没有说”这只是个工具”。

这种克制本身说明了一些事情。数学界的主流分歧大致是这样的：支持者认为，AI在这道题上展示了跨域知识连接能力，把代数数论和平面几何拉到同一个框架里，这本身不是一件容易的事，哪怕对人类数学家也不是。

反对者说，现有模型是”插值机器”，只能在训练数据的隐含模式里打转，难以实现真正的范式突破，比如微积分或广义相对论那种级别的飞跃。

两种看法都有道理，但有一点正在变得难以否认：那种”大语言模型不可能做出真正的数学发现”的论断，需要重新校准了。

### 这意味着什么

这不是AI替代数学家的信号，但它确实是一个节点：**AI作为独立提出数学论证的主体，而非单纯的辅助计算工具，已经在这道题上成立了**。

对科研工作流来说，这个节点的含义比听起来更具体。如果一个通用推理模型可以接到开放问题、自主探索、产出可验证的证明，那么它在科研中的位置就不再只是”帮我查文献””帮我写代码”，它开始具备了参与”想问题”本身的可能。

再说边界。这次的问题，尽管开放了80年，仍然属于一类有明确陈述、有清晰验证标准的数学问题。AI的证明是在一个相对封闭的问题空间里完成的。

那些真正改变人类认知底层结构的发现，比如提出一个全新的数学分支，或者察觉到两个毫不相关领域之间的深层联系——这仍然是一个开放的问题。目前没有证据表明现有模型能做到这一点。

* * *

📎 原文来源：[OpenAI 模型独自推翻了一道 80 年数学难题——这次不是辅助，是自主](https://blog.ccino.org/p/openai-ai-disproves-erdos-conjecture-math-2026/)

**Tags:** AI, AI技术, claude-mem, OpenAI

**Categories:** AI资讯

---