# OpenAI 的通用推理模型推翻了一个 80 年没人撼动的数学猜想

> 原标题：80 年没人推翻的猜想，一个通用 AI 模型做到了

- 来源：Computing Life · Share · 鸭哥调研
- 发布时间：2026-05-22T00:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/26238
- 原文：https://yage.ai/share/gpt5-erdos-unit-distance-20260522.html

## 摘要

GPT-5 否证了 Erdős 在 1946 年提出的平面单位距离猜想。这个猜想说平面上 n 个点最多只能有约 n 对距离为 1 的点，80 年里数学家都信这个。模型没走证明路线，而是直接构造反例，用上了代数数论里跟几何八竿子打不着的工具，把单位距离对的数量推到了 n 的 1.014 次方。Fields 奖得主 Tim Gowers 审完证明说，如果是...

## 推荐理由

我会先打个折，因为正文没给论文、没给证明过程、也没说复现条件，信息缺口不小。但一个没专门练过数学的通用模型，推翻了一个 80 年没人动得了的 Erdős 猜想，还有 Fields 奖得主背书说能投顶刊——这个事实本身分量很重，属于当天就该推的消息。HKR 三项全中，重要性给 90 是合理的，再高就需要更多证据了。

## 锐评

这条新闻最值得关注的点不是“AI 打败了人类数学家”，而是这个模型没有为数学做过特化训练。OpenAI 明确说这是个通用推理模型，却用代数数论里跟几何八竿子打不着的工具，构造出了 Erdős 猜想的反例。这说明它的推理能力可以跨领域迁移，不是靠刷题刷出来的。

具体来说，模型把单位距离对的数量推到了 n 的 1.014 次方，打破了 80 年来“最多就是线性增长”的共识。Tim Gowers 审完证明后说，如果是人写的，他会毫不犹豫推荐给《数学年刊》。但正文没披露这个模型的具体规模和推理成本，也没说思维链里那 100 多页有多少是无效探索。

另外，OpenAI 同时发布了 13 个跨学科案例，从物理到生物都有。如果只有这一个孤例，可以说是碰巧。13 个案例分布在五个学科，说明这种推理能力的泛化不是偶然。但还缺关键信息：这些案例的成功率是多少？模型在多少问题上尝试了但失败了？没有失败率，就没法判断它到底是“会推理”还是“试得多”。