# OpenAI 一个没公开名字的模型推翻了一道 80 年的离散几何猜想

> 原标题：An OpenAI model has disproved a central conjecture in discrete geometry

- 来源：OpenAI News
- 发布时间：2026-05-20T00:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/24719
- 原文：https://openai.com/index/model-disproves-discrete-geometry-conjecture

## 摘要

OpenAI 发了一篇博文，说他们内部一个通用推理模型自己解决了一道叫“平面单位距离问题”的数学难题，推翻了大家信了几十年的主流猜想。这道题是 Erdős 在 1946 年提出的，简单说就是平面上放 n 个点，最多能有多少对点距离刚好是 1。之前学界普遍认为正方形网格那种摆法已经接近最优了，但这个模型给出了一族新构造，把单位距离对的数量往上提了一个多项...

## 推荐理由

我会先打个折：正文没披露模型名称、证明机制和可复现条件，所以没法给更高分。但 OpenAI 模型推翻 80 年几何猜想这件事本身够新、够具体，也够有争议性，HKR 三项全中，85 分放在 P1 合理。

## 锐评

这条消息值得点开，因为它不是又一个跑分刷榜，而是模型直接解决了一道有八十年历史的开放数学难题——平面单位距离问题。简单说，就是平面上放 n 个点，最多能有多少对点距离刚好是 1。之前学界普遍认为正方形网格那种摆法已经接近最优了，但 OpenAI 这个模型给出了一族新构造，把单位距离对的数量往上提了一个多项式级别。证明已经过外部数学家验证，Tim Gowers 说如果是人写的他会直接推荐顶刊接收。

不过，先别太激动。博文只说是个“内部通用推理模型”，没披露模型名、规模、训练数据、推理成本，也没说是不是专门为数学问题加了脚手架。证明全文和配套说明放出来了，但模型怎么从搜索到最终构造、中间有没有人类筛选，这些关键细节一概没提。这让我们很难判断这到底是模型独立长程推理的突破，还是强算力下的一次幸运搜索。

还缺什么：模型复现条件、失败尝试的次数、推理过程的完整日志。如果这些不公开，这条新闻就更像一次精心策划的能力展示，而不是可检验的科研进展。