# OpenAI 模型自己解了一道 80 年没搞定的平面几何题，用的还是数学家觉得走不通的路

> 原标题：OpenAI模型突破性自主解决80年数学悬案

- 来源：AI HOT 精选
- 发布时间：2026-05-21T02:15:23.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/24666
- 原文：https://x.com/AYi_AInotes/status/2057284086167720330

## 摘要

OpenAI 的一个模型独立解决了 1946 年埃尔德什提出的“平面单位距离问题”。这道题近 80 年来大家一直觉得最优解长得像方格子，但模型搬出了代数数论里比较冷门的 Golod-Shafarevich 理论，找到了一整族效率更高的新构造，把老结论推翻了。这是 AI 头一回自己搞定一个数学核心开放问题，关键就在于它提出并完整执行了一条人类因为直觉上觉...

## 推荐理由

我会先打个折：目前只有一段摘要，没给模型名、没论文链接、没复现细节，也没第三方验证，所以别急着当定论。好消息是它把问题说得很具体——1946 年平面单位距离问题，还用 Golod-Shafarevich 理论给了一族更高效率的构造，说明不是随便蒙对的。对做推理方向的团队来说，这至少是个强信号，但正文没披露用了多少算力、有没有人工提示工程介入，这点先别太激动。

## 锐评

这条消息最值得点开的地方是：AI 头一回独立解决了一个数学核心开放问题，不是辅助证明，是自己提出并走完了一条人类因为直觉排斥而没试过的路。模型搬出了代数数论里比较冷门的 Golod-Shafarevich 理论，找到一整族效率更高的新构造，直接把老结论推翻。这说明它在探索“人类不会去碰”的路径上有真东西，不只是速度更快。

但正文信息缺口很大。没提具体是 OpenAI 哪个模型，也没说用了多少算力、跑了多久。更关键的是，不知道这个“自主”到底有多纯——有没有人类预先划定理论范围，或者从大量失败尝试里挑出了这一次成功。如果只是在一个已经被悄悄放宽的搜索空间里撞上了，那含金量要打折。另外，论文是否经过同行评议、新构造在数学上是否完全严谨，目前也看不到。

还缺一个对比：这个模型在其他数学开放问题上表现怎么样？是单点突破还是能力泛化？如果只是孤例，那离“AI 数学家”还差得远。