OpenAI：AI自主解决80年数学难题
2026年5月20日，OpenAI宣布其内部通用推理模型自主推翻了Paul Erdos于1946年提出的单位距离猜想。
核心突破
- 问题: Erdos单位距离猜想——平面上n个点最多有多少对距离为1的点对
- 结果: 模型发现无限族平面点构型，产生的单位距离对远超数学家长期认为最优的方格排列
- 方法: 通过代数数论中的Golod-Shafarevich准则（1964年证明），将初等几何问题与深层数论结构连接
- 证明长度: 125页
- 量化改进: Princeton数学家Will Sawin确认最优构型缩放为n^(1+delta)，delta>=0.014
学界反应
- 菲尔兹奖得主Tim Gowers: "AI数学的里程碑"
- 普林斯顿组合学家Noga Alon: "杰出的成就，以优雅聪明的方式应用代数数论的高级工具"
- 关键区别: 模型非针对此问题训练，未检索已有答案，无人工逐步引导——AI首次自主解决数学领域核心开放问题
意义
这不是"AI辅助人类证明"，而是内部模型独立产生可验证步骤并获得学界认可。数学界正在激烈讨论这意味着什么。
来源: OpenAI + Build Fast with AI + 普林斯顿大学
链接: https://openai.com/index/model-disproves-discrete-geometry-conjecture/