# OpenAI模型突破性自主解决80年数学悬案

- 来源：AYi (@AYi_AInotes)
- 发布时间：2026-05-21 10:15
- AIHOT 分数：76
- AIHOT 链接：https://aihot.virxact.com/items/cmpewplp101d1sljwqnjrqbiy
- 原文链接：https://x.com/AYi_AInotes/status/2057284086167720330

## AI 摘要

OpenAI的一个AI模型自主攻克了“平面单位距离问题”，这是数学家埃尔德什于1946年提出的一个著名开放难题。近80年来，学界普遍认为最优构造近似于方格子，而该AI模型通过运用代数数论中冷门的Golod-Shafarevich理论，发现了一整族效率更高的全新构造，推翻了原有定见。此成就标志着AI首次独立解决一个数学领域的核心开放问题，其关键在于提出并完整执行了一条人类因直觉认为不可行而从未尝试的创新路径。

## 正文

说实话，OpenAI这条推文我看了三遍。

第一遍看懂了"AI解了80年数学悬案"，

第二遍看懂了"几何问题用数论来破"，

第三遍才反应过来--最震撼的不是结果，是AI自己想出了这条路，

而咱们人类80年来都觉得这条路太冷门不值得走。

这道题叫平面单位距离问题，1946年埃尔德什提出来的。

简单说就是：平面上撒一堆点，让尽量多的点对之间距离正好是1。

80年来所有数学家都信一个结论：最优解长得像方格子，没法再优化了。

OpenAI的AI说：你们错了，它找了一整族全新的构造方法，不是方格子，效率比方格子明显高出一截。

用的什么工具呢？
就是代数数论里最冷门的那套--无限类域塔、Golod-Shafarevich理论。

因为几何和数论，这两帮数学家以前基本不聊天，AI说你们应该聊聊🤣

菲尔兹奖得主Tim Gowers写进审稿论文：如果是人写的，我直接推荐《数学年刊》接收。

数论专家Arul Shankar说：AI不只是助手，它有了原创天才想法并完整执行。
他的125页思维链已经公开，人类数学家验证通过，证明这不是噱头炒作。

以前AI在数学里的角色很清晰：
辅助验证，
帮人算，
搜索已知模式，

但这次不一样，
AI自己想了一条路，
人类80年都觉得这条路太冷门、太反直觉、不值得走，
AI偏偏走了，而且还走通了。

人类觉得不靠谱所以没试的路，有多少其实是通的？
这事想想有点后背发凉，但更多的是期待 hhh

### 引用推文

> OpenAI：Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematician...