把一座城市的道路画成点和线，再找出若干条能绕回起点的路线，要求每条道路恰好被走两次。少走一次不行，多走一次也不行。循环双覆盖猜想（Cycle Double Cover Conjecture）问的就是类似问题：每个没有“桥”的无向图，是否都有这样的循环组合。“桥”是删掉后会让图断开的那条边。
这个图论猜想已经存在约50年。现在，OpenAI发布了一份题为《GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture》的证明稿，声称模型给出了证明。值得关注的不是“AI又会做题了”，而是这份输出瞄准了一个长期开放问题，并且可以交给数学家逐步检查。只是截至供稿材料所及，我们看到的是一份声称完成证明的稿件，还不是数学界确认猜想已经解决。
不直接找圈，先给道路贴标签
这道题难在“恰好两次”。为补上一条只出现一次的边而加入新循环，可能顺手把别的边覆盖到三次；修补那里，又会影响更多地方。局部都能找到圈，不代表整张图可以同时协调好。
据量子位报道，这份三页证明稿换了一个角度：不直接搜索所有循环，而是先给边贴标签，让循环从标签中自然形成。
证明首先把一般情形归约到三次图——每个顶点都恰好连接三条边的图。随后借助 nowhere-zero 8-flow（无处为零的8流，一种让边携带非零数值、并在顶点处满足平衡关系的标号），给每条边分配非零的三位二进制标签。
接下来，每条边的一个标签被扩展为两个。构造目标是：同一种标签在每个顶点附近，要么不出现，要么出现两次。于是，把拥有同一标签的边抽出来，它们就会首尾相接形成循环；而每条边有两个标签，因此会落入两个循环。
真正棘手的是全局一致性。同一条边连接两个顶点，两端不能各贴各的。报道所述证明把这个协调问题写成有限域上的线性方程组，再使用对偶空间和奇偶性论证方程有解。说白了，它把“怎样在复杂图里同时安排许多圈”，改写成“怎样让整套标签彼此不冲突”。
64个子Agent，代表更多搜索，不代表64票通过
量子位称，GPT-5.6 Sol Ultra在不到一小时内完成任务，最多调用64个子Agent，而且所用模型公开可用，并非内部特供版本。子Agent协作，是让多个模型实例并行探索不同路线，再由主流程汇总和核查。它扩大了测试时计算——也就是模型训练结束后，为一道具体题额外投入的搜索、生成与验证计算。
这能增加找到答案的机会，也可能压缩探索时间，但不能自动保证答案正确。64个子Agent不是64位独立数学家，更不等于64次外部审查。如果它们共享相近的模型能力和推理偏差，也可能一起漏掉同一个缺口。
OpenAI还公布了完整Prompt。报道对其长度出现“约700词”和“约700个英文字符”两种互相冲突的说法，因此这里不采用具体数字。更有意义的是任务设计：Prompt没有预先钉死解法，而是定义交付标准、适用范围、边界情况和哪些结果不算完成；同时要求动态分配探索路线，并安排专门找漏洞的对抗性检查。
这更像一份验收合同：不告诉团队必须走哪条路，但把终点、禁区和审查办法写清楚。对于路径未知的复杂任务，这种编排本身也值得观察。
为什么这次值得认真看
本刊7月10日报道GPT-5.6时，关注点还是OpenAI披露的长任务Agent评测。这次则出现了一个更具体的检验对象：一份自然语言数学证明。外界不必只比较榜单分数，而可以逐行追问归约是否完整、关键方程是否真有解、边界情况是否全部覆盖。
如果证明最终成立，它会成为前沿模型参与新数学成果生产的重要案例。如果证明存在漏洞，这个过程同样有价值：它会更清楚地暴露多Agent搜索、模型自查与人类审查之间的边界。
局限与未知
- 材料没有提供同行评议、独立数学家逐步验算、期刊接收或学界共识，因此不能写成“50年猜想已被正式解决”。
- 技术路线、运行时间、64个子Agent和公开模型等细节目前都只有量子位一处报道支持，且该报道大量转述OpenAI相关发布。
- 现有稿件是普通PDF中的自然语言证明，并非形式验证——也就是尚未写成可由证明助手逐步核验的严格形式。关键归约、线性方程必有解的论证，以及多重图、自环和非连通图等边界处理，仍待独立检查。