GPT-5.2 Pro 震撼数学界：独立攻克 45 年历史的埃尔德什猜想

人工智能破解数学终极奥秘，这一次不再是科幻。

OpenAI 旗下的最前沿模型 GPT-5.2 Pro 日前成功独立推导出一项具有 45 年历史的埃尔德什（Erdős）数学猜想。

这项极具含金量的证明过程已得到菲尔兹奖得主陶哲轩（Terence Tao）的权威验算，并被称赞为“迄今为止 AI 在数学领域贡献最为显著的一类成果”。

此项命题在埃尔德什问题库中编号为 281，由保罗·埃尔德什与罗纳德·格雷厄姆于 1980 年共同提出，主要探讨了同余覆盖系统与自然密度之间的深层逻辑联系。

近半个世纪以来，这道数学难题一直静待着它的解答者。

直到 2025 年 1 月 17 日，研究员 Neel Somani 将该难题交给 GPT-5.2 Pro 尝试破解。

完全依赖 GPT-5.2 Pro 的证明路径

目前，该 AI 生成的证明结论已被埃尔德什问题官方网站正式收录。

证明过程巧妙地在无穷阿德尔整数环架构下展开，深度运用了哈尔测度与点态遍历定理，通过精妙的紧致性论证，实现了从逐点收敛到一致收敛的逻辑跨越。

陶哲轩评价称，该方案本质上是“Furstenberg 对应原理”的一种衍生应用，而这一原理正是遍历理论与组合数学领域的经典工具。GPT-5.2 Pro 的独特之处在于，它比传统的证明更依赖于伯克霍夫定理。

令陶哲轩感到惊艳的是，AI 完美避开了复杂的逻辑陷阱，例如极限量词的顺序颠倒等细节，而这些正是人类数学家和旧版 AI 模型最容易犯错的地方。

“令我印象最深的是其逻辑的严密性。它成功规避了极限量词顺序等极易混淆的陷阱，以往的语言模型几乎无法在这些微妙的领域保持正确。”

为了确保证明万无一失，陶哲轩将遍历论语言转化为组合学表达，利用哈代-利特尔伍德极大不等式再次验证。最终结果显示：证明完全成立。

学术盲点引发的戏剧性转折

在学术界热议 AI 壮举时，一名网名为 KoishiChan 的用户揭示了一个惊人的事实：

该命题其实可以通过更简洁的方式破解，而所需的关键理论早在 1936 年（达文波特-埃尔德什密度收敛定理）和 1966 年（罗杰斯定理）就已经面世。将这两项经典成果结合，结论便能呼之欲出。

令人不解的是，埃尔德什本人作为 1936 年论文的合著者，在 1980 年提出此题时竟未察觉答案已在灯火阑珊处。

对此，陶哲轩向法国数学家特南鲍姆（Tenenbaum）求证。对方确认了经典定理的组合确实能秒杀此题，但也推测可能是问题的表述在传播中发生了演变。

陶哲轩感叹，罗杰斯定理在数学文献中并未得到应有的关注。而现在，这道难题拥有了两份各具特色的证明：一份是 AI 带来的遍历论视角，另一份则是深埋文献中的经典组合视角。

AI 数学研究的现状与边界

随着事件发酵，Gemini 3 Pro 等模型也参与了验证。虽然 AI 在某些细节上（如法图引理的应用方向）一度引发讨论，但经过专家校对，逻辑路径最终被确认为有效。

然而，陶哲轩也给出了理性的观察。他指出，社交媒体上的成功案例往往存在“幸存者偏差”，负面结果很少被公开报告。

“目前 AI 在解决此类数学难题上的真实成功率约在 1% 到 2% 之间。虽然比例不高，但考虑到题库的庞大规模，AI 已经能够提供相当可观且非平庸的智力贡献。”

他建议数学界通过开源项目系统性地记录 AI 的尝试，以更客观地评估这些工具在尖端科研中的实际潜力。

参考链接：

[1]https://www.erdosproblems.com/forum/thread/281

[2]https://x.com/neelsomani/status/2012695714187325745

[3]https://mathstodon.xyz/@tao/115911902186528812