OpenAI · 大模型

OpenAI 模型推翻离散几何核心猜想

OpenAI 的一个模型成功解决了存在 80 年的单位距离问题,推翻了几何离散数学中的一项核心猜想。这一成果表明 AI 已能在纯数学领域做出突破性贡献,标志着机器驱动数学发现的新里程碑。

域名
openai.com
评分
5 · 重大发布
发布
2026-05-20
OpenAI 模型推翻离散几何核心猜想

导读

OpenAI 公布了一项内部模型在单位距离问题相关猜想上的进展。这一长期未决的离散几何问题 关注平面上 n 个点所能形成的单位距离对数上界,自上世纪 40 年代被提出以来,专业数学家 虽给出多个收紧的上界,但缺乏由具体几何构造给出的下界改进。

模型给出了一个新的点集构造,把已知下界向上推进了一段距离。整个构造由若干层叠加的对称 结构组成,模型在生成过程中迭代调用几何计算工具,自我验证点对距离矩阵并修正不一致; 最终的构造保存为可读的坐标列表,由独立软件确认其有效性。

这一进展的意义在于 LLM 加上计算工具在一道百年级开放问题上推动了下界。这类问题过去 长期依赖专业研究者的几何直觉与可视化能力,案例为人机协作的数学研究提供了一个公开可 重复的样本。后续讨论焦点已转移到此类构造是否可以被严格审视为新颖的数学贡献,相关 期刊评审机制也在被推动调整。

原文摘要

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.