就在这两天,全球科技圈和数学界被同一条消息震翻:OpenAI 最新推理模型,独立推翻了悬置近 80 年的埃尔德什单位距离猜想。
这不是辅助人类、不是查漏补缺,而是 ——AI 第一次自主攻克数学核心领域的顶级开放难题。

一、这个 80 年难题,到底难在哪?
时间拉回 1946 年,传奇数学家保罗・埃尔德什提出一个看似简单的问题:
在平面上任意放 n 个点,最多能有多少对点,彼此距离恰好等于 1?
他猜想:最多只能比线性增长快一点点,数学上写作 u(n)≤n1+o(1)。近 80 年里,无数顶尖数学家试图证明或推翻,始终无果。它被称为 “组合几何最著名的未解难题”,埃尔德什本人悬赏 500 美元 求解 —— 这在当年已是重金。

埃尔德什单位距离猜想示意图
二、AI 干了什么?一句话颠覆认知
2026 年 5 月 21 日,OpenAI 官宣:内部通用推理模型,完全自主完成原创证明,直接推翻埃尔德什猜想。
AI 证明:存在固定正数 δ,单位距离点对数量至少为 n1+δ。人话:增长速度严格超过线性,彻底打破人类 80 年的固有认知。更震撼的是:
❌ 不是数学专用模型,是通用推理模型; ❌ 没有针对此题专项训练; ✅ 用了代数数论工具 —— 人类数学家几乎没往这个方向想。 
三、菲尔兹奖得主集体震撼:坐不稳了
消息一出,国际数学圈震动。
菲尔兹奖得主 Timothy Gowers 直接发文:
“如果你是数学家,继续阅读前,请先坐稳。这是 AI 数学的里程碑,达到顶刊录用标准。”36氪
普林斯顿数学家 Will Sawin 独立验证,并把关键参数 δ 精确到 0.014。就连此前公开批评 OpenAI 的数学家 Thomas Bloom,这次也认可证明逻辑的严谨性。

四、不是 “噱头”,但仍有一个关键前提
必须客观说:这不是 “一锤定音” 的最终结论。
✅ 证明已在 arXiv 公开,多位顶尖数学家独立验证通过; ⚠️ 尚未正式发表在顶刊,属于 “重大进展、待同行评审闭环”; ⚠️ 模型为内部版本,暂未开源,外界无法完整复现细节。
但无论如何:AI 已经从 “写论文、算题目” 的助手,变成了能提出原创思想、开辟全新方向的 “独立研究者”36氪。
五、对我们意味着什么?
这一次突破,意义远超数学本身:
- 科研范式革命:AI 开始进入人类知识的 “无人区”,未来基础科学突破,AI 大概率是核心参与者;
- 通用能力质变:不是 “专用工具”,而是通用推理模型跨界攻克顶级难题,AGI 又近一步;
- 边界被重新定义:过去认为 “只有人类能做的原创思考”,如今 AI 做到了。

结尾
80 年数学僵局,被 AI 一脚踢开。这不是科幻,是正在发生的现实:AI 不再只是模仿与执行,它开始创造、突破、定义未来。
夜雨聆风