OpenAI 在 5 月下旬宣布，一个内部推理模型（reasoning model）独立推翻了离散几何里一个由数学家保罗·埃尔德什（Paul Erdős）在 1946 年提出、悬了近 80 年的猜想。它没有"协助"人类，而是自己找到了一整族全新的点阵排布，并给出了可被外部数学家复核的证明。这是 AI 第一次真正意义上"单独"解决一个领域中心级的公开难题。

一个看起来很简单的问题

先把数学符号放一边，用一张白纸来想这件事。

你在纸上点 N 个点。规定一个长度叫"一个单位"。现在数一数：有多少对点，它们之间的距离恰好等于一个单位？

听起来像幼儿园游戏，但这正是埃尔德什 1946 年提出的"单位距离问题"（unit distance problem）的核心。它问的是：当点的数量 N 越来越大时，"恰好相距一个单位"的点对最多能有多少？

直觉上，你会想把点摆成一个整整齐齐的方格网（square grid），就像棋盘的交叉点。方格网很"高效"：每个点都能和上下左右的邻居凑出标准距离。近 80 年里，数学界普遍相信，方格网这种排法基本上就是最优解，谁也很难明显超过它。

这就是问题的微妙之处：题面小学生能听懂，但"到底有没有比方格网更好的排法"这件事，几代顶尖数学家都没能彻底说清。它属于"离散几何"（discrete geometry）——研究点、线、距离这类离散对象如何排布的数学分支。

AI 做了什么

按照 OpenAI 公布的说法，这次的主角不是某个面向公众的产品模型，而是一个内部的推理模型。所谓推理模型，简单说就是"会在心里打草稿"的模型：它不是看到问题就脱口而出答案，而是先展开一长串中间推演，再收敛到结论。

它给出的结果有两层：

第一层，它否定了"方格网基本最优"的旧信念，找到了一整族全新的构造（a new family of constructions），这些排法能比方格网凑出更多的单位距离点对。注意是"一族"而不是"一个"——也就是一类按规律生成、可以不断放大的排布方案。

第二层，也是关键，它不止"猜"出了答案，还给出了数学证明。OpenAI 表示，这份证明已经交由一组外部数学家核验。换句话说，这不是模型嘴上说"我觉得行"，而是给出了可被独立检查的逻辑链条。

更有意思的是构造背后的"灵感来源"。据 OpenAI 介绍，这个新构造的关键材料来自一个看似毫不相干的领域——代数数论（algebraic number theory），也就是研究整数在更大数系（代数数域）里如何分解的那套理论。把"摆点"这个几何问题，和"整数怎么分解"这种数论工具接上线，正是人类数学家最看重、也最难做到的那种跨领域跳跃。

为什么这次值得认真对待

过去两年，“AI 做数学"的新闻并不少：有的是在竞赛题上拿高分，有的是在人类给出框架后补全细节，有的更像高级搜索器,帮人快速试错。这些都很有用，但本质上 AI 还是"助手”。

这次不同的地方在于"独立"和"中心"两个词。"独立"指它不是在人类已经铺好的证明骨架上填空，而是自己端出了反例和证明；"中心"指被推翻的不是某个边角小命题，而是一个领域里大家长期默认的核心信念。OpenAI 总裁格雷格·布罗克曼（Greg Brockman）在社交平台上直接用了"第一次"这个措辞来描述它的意义。

当然，理性看待也很重要。一方面，“推翻一个具体猜想"不等于"AI 数学家全面超越人类”——数学的疆域极其辽阔，单点突破和系统性能力是两回事。另一方面，最终为这件事背书的，仍然是那群做复核的人类数学家：证明是否真的成立，靠的不是模型的自信，而是同行检验这套老规矩。AI 负责"产出"，人类负责"判真伪"，这个分工短期内不会变。

这对普通人意味着什么

如果你不是数学从业者，这条新闻给你的最大信号其实不在几何，而在"方法"。

它说明今天最强的推理模型，已经不只是把训练数据里见过的套路重新排列，而是能在一个连专家都没找到出路的问题上，提出前所未见、且经得起检验的新东西。这种"能产出可验证新知识"的能力，未来会从纯数学溢出到药物分子设计、材料、芯片电路、物流路线这些同样靠"找更优排布"的现实问题上——本质上它们和"怎么摆点最划算"是同一类问题。

也别忘了那条朴素的护栏：越是惊艳的 AI 产出，越需要可独立复核的证据。这次故事真正让人安心的部分，不是模型有多聪明，而是它的答案被摆上桌、交给人去逐行检查，并且通过了。

参考资料

• OpenAI 官方说明：An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/
• GIGAZINE 报道（含问题背景与时间线）— https://gigazine.net/gsc_news/en/20260521-openai-model-disproves-discrete-geometry-conjecture/
• AutoGPT 综述报道 — https://autogpt.net/openai-disproves-erdos-conjecture-unit-distance-problem/