OpenAI 于2026年5月20日宣布，其内部通用推理模型自主证明了一个核心离散几何猜想——数学家 Paul Erdos 于1946年提出的单位距离猜想。该证明长达125页，确立了一个无限的平面点配置族，其单位距离对数量显著超过数学家们长期认为最优的方格排列，直接反驳了 Erdos 猜想的上界。
该证明方法最令人惊讶的是，模型通过代数数论特别是 Golod-Shafarevich 准则来处理一个初等几何问题，将代数数论的深层结构与欧几里得平面中的几何问题联系起来，这是组合几何学家从未想过的方法。菲尔兹奖得主 Tim Gowers 审阅后称其为 [AI数学的里程碑]。普林斯顿数学家 Will Sawin 完善了结果并量化了改进：最优配置现在以 n^(1+delta) 缩放，其中 delta 大于等于 0.014。
与以往AI数学里程碑不同的是，该模型并非专门针对此问题训练，也未检索已有解法，更未受人逐步引导——它仅接收问题陈述并独立产生证明，这是AI首次自主解决一个领域核心的开放数学问题。