2026年7月10日，OpenAI研究院Ethan Knight宣布，最新发布的GPT-5.6 Sol Ultra模型在不到一小时内，通过调用64个子智能体（sub-agent），独立完成了图论领域悬而未决50年的"循环双覆盖猜想"（Cycle Double Cover Conjecture）的完整证明。OpenAI同步公布了完整的700词Prompt，为驾驭前沿大模型提供了可复用的方法论。

循环双覆盖猜想由数学家George Szekeres（1973年）和Paul Seymour（1979年）分别独立提出，长期被视为图论中最重要的开放问题之一。该猜想问的是：对于任意一张无桥图（没有一条边删除后会断开整张图的边），是否总能找到一组"圈"（首尾相接的闭合路径），使得图中的每一条边恰好被这些圈覆盖两次。

从找圈到贴标签：AI的证明思路

GPT-5.6没有直接在图中寻找一堆圈，而是换了一种思路：先把"找圈"转化为一个有限域上的边标号问题，再用线性代数证明这些标号一定能在整张图上拼起来。

证明分为四步。第 一步，把一般图归约成三次图（每个顶点恰好连三条边）。第二步，利用无处为零的8流定理，给每条边贴上一个非零的"三位二进制标签"，这些标签在每个顶点处相邻三条边的标签能够彼此抵消。第三步，把每条边的一个标签扩展成两个标签，目标是让同一个标签在每个顶点附近要么不出现、要么恰好出现两次——这样所有带有同一个标签的边会自动组成若干个圈。第四步也是最关键的一步，把局部标签的全局协调问题转化为一个线性方程组，再用对偶空间和奇偶性证明这组方程一定有解。

最终，相同标签的边自动组成圈，每条边恰好被两个圈覆盖。GPT-5.6没有直接去找圈，而是设计了一种特殊的边标号，让圈自己从标号中"长出来"。

700词Prompt的四条可复用原则

OpenAI这次公开的Prompt约700个英文字符，为驾驭前沿模型提供了可借鉴的范本。核心思路是不规定一套固定SOP，而是定义最终结果与验收标准。

第 一条原则：不写解题步骤，但要写清楚"什么叫解完"。对于路径未知的复杂任务，不要过度规定过程，而要把最终交付物定义清楚。Prompt反复强调验收标准——每一个有限、无桥、无自环的多重图都必须被证明存在圈双覆盖——同时明确禁止通过添加额外假设来绕道。

第二条原则：把定义、范围和边界情况一次性说清楚。Prompt在正式提出问题前，先定义了什么是图、桥、圈、圈双覆盖，甚至专门说明了平行边是否允许、无边图如何处理等极端情况。

第三条原则：不只告诉模型什么是答案，还要列出什么不算答案。Prompt专门列出了一批看起来已经很接近、实际上仍然没有完成任务的结果，例如"只证明某些特殊图类不算"、"构造出覆盖但部分边不是恰好出现两次也不算"，提前堵住了模型可能偷懒的路径。

第四条原则：复杂任务不要固定分工，而要动态搜索并设置独立审查。Prompt要求最多调用64个智能体，但不是简单规定10个研究路线A、10个研究路线B，而是要求先建立多样化的方法组合，再根据实际进展动态调整资源。同时设置"对抗性智能体"专门负责检查候选证明有没有偷换定义、漏掉边界情况。

并行推理的效率跃升

GPT-5.6 Sol Ultra将测试时计算并行大幅铺开。原本可能需要磨上一整天的证明，被64个子agent并行推进压进了一个小时。正在韩国参加ICML的Noam Brown（o1核心贡献者）也第 一时间表态，强调这次和此前的Erdos单位距离问题不同，不靠内部特供模型，靠的是公开可用的GPT-5.6 Sol Ultra就完成了任务。

每个子agent回来时必须带具体引理、方程、构造或反例，不能只汇报"有进展"。如果大量智能体都挤到同一种方法上，就把一部分重新分配到尚未探索的方向；如果某条路线卡在一个和原问题同样困难的引理上，就标记为"受阻"，除非出现新机制，否则不继续堆算力。

这份Prompt真正值得学习的，不是它写得足够长，而是它把一个复杂任务写成了一份可以验收、可以审查、也可以不断纠错的任务合同——不规定唯一道路，但把终点、边界、失败条件和审查机制全部写清楚。