OpenAI GPT-5.6 Sol Ultra 一小时内破解50年未解图论难题

OpenAI宣布，其最新旗舰模型GPT-5.6 Sol Ultra成功生成了图论中著名的Cycle Double Cover（圈双覆盖）猜想的完整证明，该猜想自1970年代提出以来已悬而未决约50年。模型仅用不到一小时完成了这项任务，动用了64个子智能体并行工作。

Circle Double Cover猜想回答的是图论中的一个基本问题：在任何一个由顶点和边构成的网络中，是否总能找到一组圈，使得每条边恰好被经过两次？该问题由多位数学家于1970年代独立提出，长期以来只有特殊情形的部分解，但从未有被广泛接受的完整证明。

OpenAI表示，该证明完全由GPT-5.6 Sol Ultra生成。曼彻斯特大学的数学家Thomas Bloom在审阅后评价这是一个非常漂亮的证明，指出其解法简洁、初等，可能在1980年代就能被发现。它不需要任何新的数学理论，而是巧妙地将已知工具组合在了一起。

Bloom分析认为，人类之所以没有找到这个证明，可能是因为关键步骤涉及一个反直觉的小转折。人类数学家会尝试自然的方案，看到它失败后放弃，认为这条路走不通。而AI不会气馁，它会持续尝试微小变化直到某个方案奏效。

不过Bloom也提出了尖锐批评：OpenAI的论文完全没有引用该证明所依赖的前期工作——特别是1983年Bermond、Jackson和Jaeger的论文。Bloom指出，只读这篇论文的人可能会以为AI自己发明了底层策略，但实际上核心数学思想至少可以追溯到那篇1983年的论文。

Bloom表示，AI是否真的独创了这个解法值得怀疑，因为考虑到它解决问题的第一个本能通常是搜索并阅读该问题的所有相关论文。这延续了关于推理模型的持续争论：它们是在重新组合已有知识，还是通过创造性工作真正产生了新东西。

Bloom将这一结果与OpenAI最近解决的另一个单位距离猜想进行比较，指出两者都是原本以为很难、实际比预期容易得多的开放问题。他预计AI系统会攻克更多此类猜想，但也指出这可能只占开放问题的一小部分，而且我们无法事先知道哪些属于这一小部分。

值得注意的是，人类撰写的提示词对模型的成功起到了关键作用。提示词首先要求模型假定完整证明存在，切断了它回答该猜想尚未解决的退路；同时禁止模型上网搜索该猜想是否已被解决。64个智能体中的大部分被有意隐瞒了哪个方向最有前景，以鼓励独立思考，对抗智能体则逐一检查常见错误。模型被要求至少计算8小时才能考虑放弃，而它在1小时内就完成了。