OpenAI 用 GPT-5.6 Sol Ultra 破解 50 年数学悬案：1 小时生成圈双覆盖证明

数学家们花了半个世纪都没啃下来的硬骨头，被刚发布一天的 AI 在不到一小时里解开了。

OpenAI 发布了一篇仅有 3 页的纯数学论文，宣称彻底证明了图论中著名的「圈双覆盖猜想」（Cycle Double Cover Conjecture）。这篇论文最扎眼的地方不在于结论本身，而在于声明页的一句话：正文中的所有推导完全来自 GPT-5.6 Sol Ultra，论文排版与成文则由 Codex 配合 GPT 5.6 Sol 完成。

也就是说，人类在这篇论文里基本只扮演了读者的角色。

64 个子代理，把难题拆成初等线性代数

圈双覆盖猜想最早由 Tutte、Seymour 等人在大约 50 年前提出。用大白话说，它断言任何一个没有「桥」（即去掉后会让图断开的单条边）的无向图，都可以找到一组圈，让图里的每一条边恰好被这两组圈覆盖两次。

过去几十年里，数学家们只在平面图或某些特殊图结构上验证了部分结论，整体证明一直悬而未决。

据报道，这次 GPT-5.6 Sol Ultra 解决问题的思路非常暴力且高效：它在系统内部创建了 64 个子代理并行探索，整个求解过程用了不到一个小时。

从论文给出的推导步骤来看，模型的破局点并不复杂：它先按照经典图论思路将问题规约到没有环的三次图上，然后巧妙结合了已有的 8-流定理，把边赋值转化为代数结构，最后将整个猜想归结为一个关于有限域 F2 的初等线性代数方程组求解。

这种把复杂的拓扑组合结构压平为线性方程组的手法，虽然看起来极其干净，但此前从未有人以这种路径把它彻底走通。

为什么重要

这一步迈得非同寻常。

此前行业里常说大模型有「推理能力」，但大部分所谓的高分表现，依然停留在数学竞赛题或者已知证明的重写上，本质上还是模式匹配。而这次 GPT-5.6 Sol Ultra 是在无人提示具体构造的前提下，独立啃下了一个存在 50 年的开创性难题。

对科研人员和开发者来说，这意味着前沿模型的使用范式变了。过去我们把 AI 当成高级计算器或代码补全工具，必须一步一步给引导；现在看起来，让几十个子代理组成小型突击队、在限定数学规则内穷尽路径，已经可以产生真正的全新知识。如果你正在做理论推导或算法设计，这种多代理协同求解的思路很快就能直接帮上忙。

对行业而言，OpenAI 这次展示的其实不是语言理解，而是强化学习与自主演绎的上限。这种能力会逼着整个赛道加速转向更硬核的科学计算与形式化验证，不再只是卷聊天上下文和多模态画图。

不过在我们看来，现在还不到开香槟的时候。AI 生成的证明往往极度浓缩，目前这篇论文还没有经过国际数学界的严格同行评议；虽然线性代数部分每一步都可查，但有没有微妙的循环论证或边界漏洞，仍需数学家们肉眼核验。但无论如何，AI 独立推导高难度科学结论的大门，已经被硬生生推开了一条缝。