事件概述：AI 首次独立破解几何核心猜想
2026 年 5 月 20 日，OpenAI 正式宣布，其内部最新一代通用推理大语言模型成功生成了原创数学证明，推翻了由著名数学家保罗·埃尔德什（Paul Erdős）于 1946 年提出的“平面单位距离猜想”。这是人工智能首次在不依赖人类数学专家干预的情况下，自主攻克数学核心领域中的重大开放性问题，被学界称为“AI 数学的里程碑”。
猜想背景：沉睡了 80 年的组合几何难题
什么是单位距离猜想？
平面单位距离猜想源自离散几何与组合几何，核心问题是：在一个平面点集中，若任意两点之间的距离均为单位长度 1，那么这个点集的最大大小是多少？埃尔德什在 1946 年提出该猜想，并推测最优解对应的点集结构应趋近于正方形网格。此后近 80 年间，无数数学家尝试证明或推翻这一猜想，但始终未能取得决定性进展。该问题因与格点计数、极值图论等分支深度关联，被视为组合几何领域的“圣杯”之一。
突破过程：模型自主推理，发现全新构造
OpenAI 的推理模型并未依赖已有的数学定理库或人工提示，而是通过强化学习与长链推理，在探索中自发构造出反例。模型生成的证明表明：传统猜测中“正方形网格结构”并非最优布局；模型发现了一类全新的点集构造体系，其密度与对称性均优于先前所有已知方案。这一结果不仅推翻了原猜想，还提供了更紧的上界与全新的几何构造方法。OpenAI 强调，这是 AI 首次自主完成数学核心领域的原创证明，所有推理步骤均经过严格验证。
学界反响：菲尔兹奖得主惊呼“坐不稳”
消息一经公布，国际数学界立即引发轰动。菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）公开表示，这一成果是“AI 数学的里程碑”，并预言此类模型将根本改变数学家的工作方式。另一位知名组合数学家诺加·阿隆（Noga Alon）指出：“AI 发现的答案并非此前猜测的形式，令人震撼——这表明模型能够产生真正原创的思想。” 多位专家呼吁，学术界应尽快建立针对 AI 生成的数学证明的审核与验证标准。
深远意义：AI 从“辅助工具”迈向“独立研究者”
此次突破标志着 AI 在科学发现中的角色发生了质变。过去，大语言模型多用于辅助计算、检索或验证人类思路，而此次 OpenAI 模型凭借长链推理能力，独立走完了“提出假设→构造反例→生成证明”的全过程。OpenAI 科学副总裁凯文·韦尔（Kevin Weil）预测，到 2026 年底，AI 在科学研究中的普及程度将堪比 2025 年的软件工程领域。从量子物理到黑洞方程、从蛋白质设计到新药研发，AI 正加速将科学发现的周期从数年缩短至数日。
总结与展望
单位距离猜想的破解是“AI for Science”领域的一座里程碑。它不仅证明了大模型在抽象逻辑与组合创新上的潜力，也预示着数学研究的方法论即将迎来根本性变革。未来，AI 可能不再只是工具，而是与人类数学家并肩的“合作研究者”——共同探索那些沉睡已久的数学之谜。