据 Beating 称，OpenAI 的通用推理模型已推翻 1946 年 Erdős 提出的单位距离猜想。经典猜想认为，平面上单位距离的点对数量不会显著超过 n^(1+o(1))；然而，该模型新的点集构造实现了 n^(1+δ) 个点对，其中 δ 是一个正的常数，从而打破了近 80 年来一直维持的上界。
该模型在不使用专门的数学系统或定制工具的情况下完成了这一证明。包括 Noga Alon、Tim Gowers 和 Arul Shankar 在内的外部数学家验证了原始证明，并在 arXiv 上发表了一篇支持论文，确认该推导运用了来自代数数论的先进技术。
