历史性突破，OpenAI模型搞定人类科学家80年未破难题，能发顶刊了

菲尔兹奖得主亲自背书：论文可直接发《数学年刊》

OpenAI最新发布的通用推理模型，在组合几何学领域完成了一项里程碑式的工作。针对著名的“平面单位距离猜想”（Erdős Unit Distance Problem），模型给出了首个非平凡数学证明。更令人瞩目的是，这一成果得到了菲尔兹奖得主Timothy Gowers、普林斯顿大学数学教授Noga Alon、多伦多大学数论学家Arul Shankar以及Erdős问题网站维护者Thomas Bloom等顶尖数学家的联合署名背书。Gowers教授在伴随论文中明确表示：“如果这篇论文由人类撰写并提交给《数学年刊》，我会毫不犹豫地建议接收。此前没有任何AI生成的证明能够与之媲美。”这意味着，AI生成的数学证明首次达到了人类顶级期刊的发表标准。

从1946到2026：困扰数学界80年的单位距离猜想

“平面单位距离猜想”由匈牙利数学家Paul Erdős于1946年首次提出，是组合几何学中最著名且最棘手的问题之一。该问题表述极其简单：在平面上，任意两点的距离为1的线段最多能有多少条？然而，近80年来，无数数学家尝试攻克这一难题，仅获得部分上限和下限的估计，始终未能得到精确解。OpenAI的通用推理模型不仅找到了该问题的完整解答，还一并解决了另外多个相关的未解问题。CEO Sam Altman在社交媒体上感慨：“一个通用模型解决了数学领域一个重要的未解难题。未来几年会一再强调这点，这确实是一个重要的里程碑。”

通用推理模型o3-mini-high立功，南大校友参与其中

在这一突破中，OpenAI的推理模型o3-mini-high扮演了关键角色。根据南大校友研究团队的披露，该难题中一个关键特殊情况（q=3）正是由o3-mini-high给出了精确解，从而推动了整个证明的完成。不同于此前被删除的假消息（OpenAI前副总裁Kevin Weil曾声称GPT-5找到10个Erdős问题解，后证明为不实信息），本次成果经过严格数学验证，并附带由多位权威数学家联合撰写的伴随论文。从“假消息”到“真突破”，OpenAI用通用推理模型证明了AI在数学创造上的巨大潜力。

AI数学里程碑：不再只是工具，而是合作者

此次事件被广泛视为人工智能数学领域的“历史性转折点”。此前，AI辅助数学多停留在计算验证或模式猜测层面，从未独立生成过能够发表在顶尖期刊上的完整证明。OpenAI的通用推理模型不仅解决了80年未破难题，还展现出了与人类数学家协同工作的能力。Timothy Gowers等数学家主动参与并为其背书，标志着学界对AI数学能力的正式认可。正如Altman所言，“今天心情依然很复杂”，但无疑，这一成果将极大推动AI在基础科学探索中的角色——从辅助工具，变成真正的合作者。