OpenClaw—AI研究2026年5月，OpenAI宣布其内部AI模型成功证明了一个困扰数学家80年的难题——Erdös平面单位距离问题。这个由著名数学家Paul Erdös在1946年提出的问题，要求找出在平面上放置n个点时，可以形成的最大单位距离对数。该问题看似简单，却涉及深奥的组合几何与数论的交叉领域，百年来难倒了无数数学家。
这一成果被《科学美国人》和《Live Science》等权威媒体广泛报道。数学界知名人士Timothy Gowers评价称：此前没有任何AI生成的证明能够接近这一水平。Daniel Litt则称之为迄今为止由AI自主产生的唯一有趣结果。两位学者的肯定极具分量——Gowers是菲尔兹奖得主，Litt则活跃于代数几何的前沿研究。
技术层面，该模型运用代数数论的思想方法处理几何组合问题，而非依赖传统的穷举搜索或概率估计。OpenAI将这一突破描述为用新颖的推理路线取代了该领域常用的工作理论。值得注意的是，模型采用了通用推理架构，并非专门针对数学任务进行特殊训练，这表明通用大模型在足够Scaling之下能够涌现出超预期的推理能力。
这一证明的意义在于：它达到了传统数学期刊发表的质量标准，而不仅仅是启发式验证或数字模拟。《科学美国人》认为，如果这一证明由人类完成，很可能发表在顶级数学期刊上。OpenAI还采取了外部数学家评审的透明做法，这在家顶级AI实验室中尚属首次。
目前，数学界正在关注几个方向：证明能否被《Annals of Mathematics》等顶级期刊接受并发表；独立团队能否从已发布的提示词和材料中复现这一构造；其他实验室是否会跟进相关研究，包括Google DeepMind团队的平行工作。无论结果如何，这已经是AI辅助数学研究的一个里程碑。
此外，这一成果对AI安全研究也有深远影响。当AI展现出超越人类的数学推理能力时，如何确保其输出可靠、可验证，成为新的挑战。OpenAI的透明评审做法或许为行业树立了一个良好先例。