发生了什么
OpenAI 发表 平面单位距离问题突破(1946)
为什么值得关注
这是少见的“AI 自主解决公开数学难题”案例，且原文明确给出了问题来源、历史认知和新构造优于旧解的结论，值得关注其是否会带来可复现的方法或后续论文。
信息来源
以下内容来自公开来源，可打开原文继续核验。
OpenAI 证明平面单位距离问题新构造
OpenAI 表示，其模型在离散几何中的平面单位距离问题上取得突破，推翻了 Paul Erdős 于 1946 年提出的一个核心猜想。OpenAI 称，过去近 80 年数学界普遍认为最优解大致应类似方格结构，但该模型发现了一类全新的构造方案，表现优于既有认知。OpenAI 还称，这是 AI 首次自主解决一个数学领域中的著名公开问题。
打开原始来源 ↗OpenAI 模型解开几何难题
OpenAI 的一个通用内部模型在平面单位距离问题上取得突破，解决了这一由 Paul Erdős 于 1946 年提出的著名开放问题。OpenAI 表示，近 80 年来数学界普遍认为最优解大致会像方格排列，但该模型找到了表现更好的全新构造，推翻了这一判断。Noam Brown 补充称，这个模型并非专门针对数学或该问题训练，也不是 scaffold，团队目前还未把它在开放问题上推到极限，目标是尽快发布给大家使用；该帖发布于 2026 年 5 月 21 日 3:18，相关帖显示浏览量约 1,075，引用帖显示约 611,053 次查看。
打开原始来源 ↗OpenAI 证明 Erdős 猜想
OpenAI 公开表示，其通用推理模型在平面单位距离问题上推翻了 Paul Erdős 于 1946 年提出的一项重要猜想。该模型发现了一族新的构造，带来多项式级改进，并且证明已由外部数学家核验。OpenAI 还称，这是 AI 首次自主解决一个数学领域的知名公开问题，且该能力会随着更多 test-time compute 提升而增强。
打开原始来源 ↗OpenAI 平面单位距离问题突破
OpenAI 在 1946 年由 Paul Erdős 提出的平面单位距离问题上取得突破，称其模型自主发现了一类全新的构造。OpenAI 表示，数学界近 80 年来普遍认为最优解大致应接近方格结构，但该模型找到了优于这一直觉的新构造，推翻了这一判断。OpenAI 还称，这是 AI 首次自主解决一个数学领域中具有代表性的公开难题。
打开原始来源 ↗OpenAI 证明单位距离猜想
OpenAI 表示，其内部模型在平面单位距离问题上推翻了 Erdős 于 1946 年提出的单位距离猜想。OpenAI 称，该模型发现了一类全新的构造，优于数学界此前近 80 年来普遍认为的方形网格式最优方案，并称这是 AI 首次自主解决一个数学领域的著名公开问题。Noam Brown 转发的 Lijie Chen 帖子补充称，该结果可被推荐“毫不犹豫地接收”到《Annals of Mathematics》。
打开原始来源 ↗OpenAI 突破平面单位距离问题
OpenAI 表示，其一个通用内部模型在组合几何中的平面单位距离问题上取得突破。该问题由 Paul Erdős 于 1946 年提出，近 80 年来，数学家普遍认为最佳解大致接近方格结构；OpenAI 说，该模型发现了一类新的构造，效果优于这一长期共识。OpenAI 还称，这是 AI 首次自主解决数学领域中一个重要公开问题；其同时提到，距离前沿模型达到 IMO 金牌水平还不到 1 年。
打开原始来源 ↗OpenAI 模型破解平面单位距离问题
OpenAI 表示，旗下一个通用推理模型在平面单位距离问题上取得突破，否定了数学界自 1946 年 Paul Erdős 提出该问题以来近 80 年来对最优解“看起来像方格网”的主流判断。该模型发现了一类全新的构造方式，表现优于既有方案；OpenAI 还称，这是 AI 首次自主解决一个数学领域内的重要公开问题。OpenAI 同时强调，该结果来自通用推理模型，而不是专门为数学或该问题定制的系统。
打开原始来源 ↗OpenAI 模型证伪平面单位距离猜想
OpenAI 于 2026 年 5 月 20 日发布研究进展，称其一个内部通用推理模型证明了离散几何中的平面单位距离问题相关核心猜想不成立。该模型给出一族无限例子，带来多项式级改进；证明已由一组外部数学家核查，并由配套论文补充背景。OpenAI 还表示，这一结果是首次有 AI 自主解决一个子领域中的知名公开难题，且该模型并非专门为数学训练，也不是为该问题定制的系统。引用中，Timothy Gowers 认为 AI 已解决一个重要的 Erdős 问题，Arul Shankar 认为当前 AI 模型已能提出原创且精巧的想法并完成证明。
打开原始来源 ↗OpenAI 破解平面单位距离问题
OpenAI 公开称，其模型在 1946 年由 Paul Erdős 提出的平面单位距离问题上取得突破：模型推翻了近 80 年来“最优解大致像方格子”的判断，发现了一类全新的构造方法，而且效果优于方格子方案。相关材料提到，这次推理过程中使用了代数数论中的无限类域塔与 Golod–Shafarevich 理论，公开的精简版思维链长达 125 页；Tim Gowers 在审稿论文中表示，如果这份证明由人类完成，他会推荐《数学年刊》接收，数论专家 Arul Shankar 也认为这不是简单辅助，而是 AI 提出了原创想法并完整执行。
打开原始来源 ↗