OpenAI 昨日发布公告称，其内部通用模型已自主证明并反驳了 Erdős 提出的单位距离猜想。该猜想自 1946 年提出以来，一直困扰着离散几何领域，预测平面内 n 个点的最多单位距离对数上界为 n^{1+o(1)}。模型不仅给出了反例，还构造出无限族配置，实现至少 n^{1+δ}（δ≈0.014）的多项式提升，首次由 AI 独立完成这一核心开放问题。
这一突破发生在 AI 研究从“辅助工具”转向“研究伙伴”的关键节点。此前，OpenAI 模型已多次在数学辅助中表现出色，但本次完全自主生成证明、利用代数数论（如无限类域塔和 Golod–Shafarevich 理论）完成推导，并通过外部数学家验证。数学家 Noga Alon 评价为“杰出成就”，Tim Gowers 称其为“AI 数学里程碑”。
与此前依赖人类直觉的数学突破不同，此次证明凸显了通用模型在跨领域推理上的潜力。相较于 DeepMind AlphaProof 等专用系统，OpenAI 的通用路径显示出更强的泛化能力。未来六到十二个月，类似“AI 自主解决开放问题”的案例或将加速涌现，迫使学术界重新定义人类与 AI 在基础研究中的角色分工。
信源：https://openai.com/index/model-disproves-discrete-geometry-conjecture/
