OpenAI 新成就：AI 破解 80 年数学难题
摘要：本文解读 OpenAI 团队的最新成果，揭示大模型如何否定了保罗・埃尔德什于 1946 年提出的平面单位距离猜想，构建了无限族点集，证实了存在超越网格结构的单位距离对，这标志着大模型数学推理能力的重大飞跃，同时也开启了 AI 辅助数学研究的新篇章。引言：长达八十载的数学猜想1946 年，传奇数学家保罗・埃尔德什（Paul Erdős）提出了组合几何领域的一个经典难题：平面单位距离猜想。该问题困扰了整个数学界整整八十年，始终无人能找到推翻它的证据，学界普遍坚信，网格状的点集构造即为该问题的最优解。而如
AI 终结 80 年几何猜想，菲尔兹奖得主惊叹：数学新纪元
2026 年 5 月 20 日，OpenAI 公布了一项令数学与人工智能领域为之震动的新发现：其内部的一款通用推理模型，独立证明并证伪了一个存续近八十载的组合几何核心猜想——平面单位距离难题（Planar Unit Distance Problem）。这并非 AI 在博弈游戏中胜过人类，也非辅助数学家进行运算。这是 AI 首次独立攻克一个公开的、位于数学核心领域的未解之谜。普林斯顿大学知名组合数学家 Noga Alon 评述道："这是 Erdős 钟爱的数学谜题之一，所有钻研组合几何的学者都曾深思
AI模型突破组合几何经典难题：80年悬案终被解开
OpenAI Research · 2026 年 5 月 20 日 · 研究里程碑近 80 年来，数学家们始终在探索一个看似简洁的问题：当平面上分布着 n 个点时，最多能形成多少对恰好相距 1 个单位长度的点？这就是著名的平面单位距离问题（planar unit distance problem），由匈牙利数学家保罗·埃尔多什（Paul Erdős）于 1946 年首次提出。该问题是组合几何（combinatorial geometry）领域最具影响力的难题之一——表面上看似直白，实则极度复杂难解。200