OpenAI 的通用推理模型推翻了原本被普遍相信的猜想，并给出了一个全新的构造方法，被数学界确认有效。这是数学史与 AI 史上的重大突破。
结论：AI 已经解决 / 推翻了埃尔德什单位距离猜想
结论：AI 已经解决 / 推翻了埃尔德什单位距离猜想OpenAI 在 2026 年 5 月宣布，其尚未公开的推理模型独立构造出一个反例，证明传统认为最优的“单位距离点对数量”上界并非最佳，从而推翻了埃尔德什 1946 年提出的经典猜想。
Interesting Engineering The Indian Express eWeek
这个问题是什么？为什么重要？
这个问题是什么？为什么重要？问题（Planar Unit Distance Problem）：
给定平面上 n 个点，最多能有多少对点之间的距离恰好为 1？
这是组合几何中最著名、最简单却最难的问题之一。
OpenAI传统猜想：
最优构造类似于“缩放的方格点阵”，其单位距离对数大约为
\[
n^{1 + o(1)}
\]
数十年来数学界都认为这是最优。
aibars.net
AI 做了什么？
AI 做了什么？OpenAI 的推理模型：
- 独立发现了一个全新的构造方法，不是从文献中检索或拼接
news.aibase.com - 给出了无限族的反例，证明传统猜想的上界可以被多项式级别改进
eWeek - 推翻了 80 年来的数学共识
Interesting Engineering - 外部数学家已验证其证明正确
eWeek
这是首次有 AI 自主解决数学核心领域的公开难题，而不是辅助证明。
Deccan Herald
为什么这是“解决”而不是“部分进展”？
为什么这是“解决”而不是“部分进展”？因为 AI：
- 给出了反例 → 直接否定原猜想
- 提供了完整证明 → 已被数学家验证
- 提出了新的构造族 → 推动了理论前沿
这在数学上等同于“解决了该问题的核心版本”。
影响：数学界与 AI 研究的里程碑
影响：数学界与 AI 研究的里程碑- 这是 AI 首次独立解决核心数学难题
- 证明了 AI 可以进行 原创数学推理
- 可能改变未来数学研究的方式
- 也为离散几何、组合数学带来新的研究方向