发生了什么
OpenAI 公布 unit distance problem 证明(2026-05-20)
为什么值得关注
建议点开原文关注证明思路与外部数学家核验意见，因为它展示了通用推理模型如何在非专项训练下产出可被验证的原创数学构造。
信息来源
以下内容来自公开来源，可打开原文继续核验。
OpenAI 模型推翻单位距离猜想
OpenAI 在 2026 年 5 月 20 日公布，一款内部通用推理模型证明了离散几何中的核心开放问题——平面 unit distance problem——并推翻了长期以来认为“square grid”构造接近最优的主流猜想。OpenAI 表示，该证明已由一组外部数学家核验，并有配套论文解释论证背景；结果给出了一个无限族例子，可带来多项式级改进。OpenAI 还称，这是首个由 AI 自主解决的、在某个数学子领域中具有代表性的公开难题，且该证明不是由专门数学模型、搜索式 proof scaffold 或针对该题训练的系统生成。
打开原始来源 ↗An OpenAI model has disproved a central co
OpenAI 表示，其一个内部通用推理模型在平面 unit distance problem 上推翻了长期以来关于“square grid”构造近似最优的猜想，并给出了一个使 unit-distance pairs 数量达到多项式改进的无限构造族。该证明已由一组外部数学家核查，OpenAI 还发布了证明正文、外部数学家写的 companion paper 以及模型 chain of thought 的节选。文章称这是首个由 AI 自动解决的、数学子领域中的知名公开难题，且该证明借用了代数数论中的复杂工具。
打开原始来源 ↗OpenAI 证明几何难题
OpenAI 表示，其一个内部 reasoning model 自主证明了 Paul Erdős 在 1946 年提出的平面单位距离问题：在平面上放置 n 个点时，能有多少对点恰好相距 1 个单位。该模型找到了全新的点集构造，以固定的多项式因子超过了长期被认为接近最优的 square grid 构造，而不是小幅改进。OpenAI 称这是 AI 首次自主解决一个数学领域的重要公开问题；该证明已由外部顶级数学家验证，Tim Gowers 也将其称为“AI 数学的一个里程碑”。
打开原始来源 ↗OpenAI 模型证明离散几何猜想
OpenAI 于 2026 年 5 月 20 日公布，一款内部通用推理模型解决了离散几何中的平面单位距离问题，推翻了该领域长期以来关于“方格构造近似最优”的主流猜想。OpenAI 说明，这一结果给出了一个无限族反例，并带来多项式级改进；证明已由一组外部数学家核验，且配套论文对论证和背景作了补充。OpenAI 还表示，这是首个由 AI 自主解决的、处于某个数学子领域核心位置的著名公开问题，方法上并非专用数学模型或针对该题训练的系统，而是一个通用推理模型。
打开原始来源 ↗