GPT-5.2 Pro独立攻克45年数学难题”的消息引发轰动，但真相却出人意料。所谓的“未解猜想”，其实早有成熟的解法，只是被数学界遗忘。这篇内容深入剖析了事件始末，揭示了AI在数学领域的真实进展、文献传播的重要性，以及我们如何被“报告偏差”误导，提供了一个审视AI能力的全新视角。
智能速览
GPT-5.2 Pro宣称解决的数学猜想，其实早有解法。
问题未解的主因是相关定理未被广泛传播，而非难度过高。
AI当前成功案例集中于难度较低的“长尾问题”，而非核心难题。
数学家陶哲轩提醒公众警惕“报告偏差”，AI实际成功率仅1%-2%。
AI的真实价值在于辅助文献检索和形式化验证，而非独立创造。
精华内容
从轰动性的“AI攻克难题”到发现答案藏在80年前的论文里，这背后揭示了什么？是AI的飞跃，还是我们对“未解”的误解？
AI攻克轰动
2026年1月，前量化研究员索马尼宣布，借助GPT-5.2 Pro独立解决了Erdős问题第281号，一个自1980年提出的数学猜想。菲尔兹奖得主陶哲轩对此给予了高度评价，称其为“人工智能解决未解数学问题最明确的例子”。OpenAI联合创始人也转发祝贺，使“AI独立攻克45年数学难题”的消息迅速传播。这并非孤例，几天前，同一模型还解决了Problem 397，并通过了形式化验证。这些事件似乎标志着AI的数学能力已达到新高度。
被遗忘的解法
然而，事件的走向很快发生逆转。论坛用户KoishiChan指出，Problem 281其实可以通过1966年的Rogers定理和Halberstam–Roth著作中的定理直接解决。陶哲轩追溯发现，其核心论证更可追溯到1936年Davenport与Erdős本人合著的论文。对此，陶哲轩表示困惑，推测问题表述可能在流传中被修改。长期与Erdős合作的数学家特南鲍姆也确认，用这两个定理可以“立竿见影”地解决问题。
真正的难题
事件揭示了问题“未解”的真实原因：并非难度，而是传播。Rogers定理仅出现在一本专著中，从未独立发表，引用次数寥寥无几，导致后续研究者不知其存在。GPT-5.2 Pro的贡献，并非原创性突破，而是用新的遍历理论框架，重新证明了一个因文献传播不畅而被遗忘的结论。这反映出AI当前的优势领域：高效调用标准工具，解决那些“人类早就能解、只是长期无人关注”的长尾问题。
成功率的真相
陶哲轩进一步提醒公众警惕“报告偏差”。他指出，AI解题失败的尝试几乎不会被公开，而成功案例则极易在社交媒体上病毒式传播。为了纠正这种偏差，他引用了一个记录AI尝试Erdős问题全结果的数据库。数据显示，AI工具的真实成功率仅在1%到2%之间。陶哲轩总结，尽管这些贡献令人印象深刻，但它们“压倒性地集中在难度谱的低端，尚未触及中等难度问题”。
GPT-5.2 Pro 的数学推理能力确实取得了实质性进步，但距离取代人类数学家还相去甚远。它的价值更在于高效处理被忽视的问题和辅助研究流程。我们应理性看待媒体渲染的“突破”，避免陷入“报告偏差”的认知陷阱。未来，AI能否触及中等难度的核心猜想，仍需时间检验。
