5 月 20 日，OpenAI 宣布其内部通用推理模型自主推翻了离散几何领域一个悬置近 80 年的中心猜想——Erdős 单位距离问题（unit distance problem）。这是首次由 AI 自主解决某数学子领域的核心公开问题，Fields 奖得主 Tim Gowers 称之为"AI 数学的里程碑"。

基于多家媒体转述整理。

一个"最简单解释"却最难解的问题

1946 年，传奇数学家 Paul Erdős 提出了一个问题：在平面上放 n 个点，最多能有多少对点恰好相距 1？

看起来简单到像中学几何题，但它成了组合几何里最著名的问题之一。2005 年的权威参考书《Research Problems in Discrete Geometry》直接称其为"组合几何中可能最知名、也最易解释的问题"。Princeton 组合数学家 Noga Alon 说这是"Erdős 最喜欢的问题之一"，Erdős 本人甚至为解决这个问题悬赏。

几十年来，数学界的主流信念是：方格构造（rescaled square grid）给出的单位距离对数已经接近最优。方格构造的增长率是 n^(1 + C/log log n)——只比线性快一点点。大家普遍认为，不存在能显著超过这个增长率的构造方式。

AI 证明了：方格不是最优

OpenAI 的通用推理模型给出了一个出人意料的答案——方格构造并非最优，存在无限族构造能给出多项式级的改进。

这个证明最引人注目的不是结果本身，而是方法：模型把代数数论中意想不到的高级工具，用到了一个看起来很初等的几何问题上。这种跨领域的"巧思"，正是数学家们觉得最难被自动化的部分。

证明已经由一组外部数学家独立验证，他们还撰写了评注论文来解释论证逻辑和结果的意义。

为什么这件事重要

对数学： 一个被广泛相信了数十年的猜想被推翻，意味着该领域的研究方向需要调整。之前很多人试图证明方格是最优的上界，现在需要重新思考。

对 AI： 这是第一次由通用推理模型（而非专门为数学训练的系统）自主解决了数学子领域的核心公开问题。之前的 AI 数学成果大多是在人类给定的框架内验证或搜索，而这次模型自己找到了正确的证明路径。

Fields 奖得主 Tim Gowers 在评注论文中写道：这是"AI 数学的里程碑"。数论学家 Arul Shankar 的评价更直白："这篇论文表明，当前 AI 模型已不仅是数学家的帮手——它们能产生原创的巧思，并执行到底。"

需要注意的

• 这次推翻的是构造侧的下界猜想（"方格是最优构造"），而非单位距离问题本身的完全解决。问题仍然开放。
• 证明来自 OpenAI 的内部模型，尚未对外发布；模型名称、参数规模等信息未公开。
• 这是该模型在 Erdős 问题集合上测试时的成果，不代表通用推理模型在所有数学问题上都能达到同等水平。

来源与进一步阅读

• OpenAI 官方公告：https://openai.com/index/model-disproves-discrete-geometry-conjecture/
• 证明原文：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
• 数学家评注论文：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
• 模型思维链节选：https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf

参考来源

• https://openai.com/index/model-disproves-discrete-geometry-conjecture/

说明：该页面由基础模板稳定生成，后续可继续局部润色样式或补充模块，再进入发布检查。