OpenAI GPT-5.6 Sol Ultra 据报在一小时内解决50年未解数学难题

OpenAI于2026年7月宣布，其旗舰模型GPT-5.6 Sol Ultra已成功证明图论中的「圈双覆盖猜想」（Cycle Double Cover Conjecture）。该猜想自1970年代提出以来，50年间只有部分特殊情况被解决。模型使用了64个并行运行的子智能体，在不到一小时内完成了证明。

曼彻斯特大学的数学家托马斯·布鲁姆在初步评估中称赞该证明「非常漂亮」，并指出其「简短、基础，本可以在1980年代被发现」。证明没有引入新理论，而是巧妙结合了已有工具。布鲁姆认为，关键步骤包含一个反直觉的转折，人类数学家可能在尝试自然方法失败后放弃，而AI则持续尝试微小变化直至成功。

提示工程在此次成功中至关重要：模型被告知「假设完整证明存在」，禁止互联网搜索，且必须拒绝部分结果或归约到其他未解猜想。它被要求至少计算8小时才能放弃，但实际仅用1小时便完成。

布鲁姆同时提出了尖锐批评：证明中的核心数学思想至少可追溯到伯蒙德、杰克逊和耶格1983年的一篇论文，但OpenAI的论文完全没有引用。他指出，这是AI生成证明的常见问题——它们使用文献中的思路和策略，却不提供适当归属。

布鲁姆怀疑AI并非自主发明了解决方案。「考虑到其解决问题的第一本能通常是搜索所有相关论文并阅读它们，」他认为证明更可能是对现有思想的重组，而非真正的创造性跳跃。这引发了关于AI是否具备真正创造力的持续辩论：它只是重新组合已存在的信息，还是能产生全新的东西？

布鲁姆将此次突破与OpenAI此前解决的「单位距离猜想」相类比。两者都是「比预期容易得多的重大开放问题——不需要大型新理论，可以想象在许多替代历史中这些证明在几十年前就被发现了。」他认为AI擅长解决这类问题：所需理论已存在，只需大量耐心和信念。

然而，布鲁姆警告，这类问题可能只占所有未解问题的「一小部分」，且无法预先识别。AI系统在「奇怪的新世界」中同时攻击大量问题（且只报告成功），将让我们更清楚哪些问题「始终在我们触及范围内」。这也意味着突破的统计学意义可能被公司选择性报告所扭曲。

当前最重要的不确定性是数学社区的全面验证尚未完成。布鲁姆的评估是迄今最详细的公开分析，但并非同行评审。证明的完整正确性仍需正式确认。此外，OpenAI仅报告成功案例，可能导致对AI能力的乐观估计。

另一个未解疑问是：AI系统能否解决需要真正新颖理论的问题？布鲁姆认为按现有模式，AI可能在未来破解更多「只需现有理论加耐心」的猜想，但更深刻的问题——需要全新概念框架的——可能仍超出其能力范围。

GPT-5.6 Sol Ultra的成就既是里程碑也是警示。它展示了AI通过纯粹顽固的探索发现隐藏简单解的能力——这种品质人类难以复制。但同时，引用缺失问题凸显了AI输出的局限性：它无法自觉融入学术诚信体系。

这起事件提示，我们可能需要为AI生成的研究建立新的引用规范。更重要的是，它揭示了「困难」问题的一个子集实际上只差一点坚持不懈的尝试。AI正帮助我们发现这些被忽视的简单路径，但真正的创造性突破——那些需要构建全新理论架构的——或许仍将是人类智慧的最后堡垒。