GPT-5.6 Sol Ultra 与循环双覆盖猜想的64智能体证明

引言

OpenAI发布了一份三页手稿，声称完整证明了循环双覆盖猜想，这是图论领域一个可追溯至20世纪70年代的重大未解难题。

据OpenAI研究员Ethan Knight和Noam Brown称，GPT-5.6 Sol Ultra在不到一小时的挂钟时间内，协调多达64个并行子智能体生成了这一成果。随后，搭载GPT-5.6 Sol的Codex被用于撰写最终的数学文稿。

OpenAI还发布了完整的提示词文档（共两页）。这份文档极具价值，因为它展示了如何为大型多智能体系统构建复杂的研究任务框架。

关键注意事项很简单：OpenAI发布的是声称的证明，而非同行评审的数学共识。在猜想被正式认定为已解决之前，专家仍需独立验证该论证过程。

OpenAI的公告

Ethan Knight表示，GPT-5.6 Sol Ultra在不到一小时内，通过64个子智能体生成了循环双覆盖猜想的证明。

Noam Brown强调了两个要点：

1. 模型配置是公开可用的，而非局限于内部研究系统。
2. 并行测试时计算缩短了任务耗时，否则此类任务可能需要更长的顺序推理时间。

OpenAI将ultra描述为GPT-5.6的最高能力配置。它跨并行工作流协调多个智能体，通过增加代币使用量来换取更强结果和更快解决高要求任务的速度。

发布的内容

文档	长度	用途
证明手稿	3页	呈现完整的肯定性证明
完整提示词	2页	定义定理、完成标准、搜索策略、智能体管理和审查要求

证明手稿指出，该证明完全归功于GPT-5.6 Sol Ultra，并使用搭载GPT-5.6 Sol的Codex进行文稿撰写。

什么是循环双覆盖猜想？

图是由边连接的顶点集合。

循环是一条闭合路径。桥是指移除后会增加连通分量数量的边。

该猜想指出：

每个有限无桥图都有一个

循环集合，其中每条边恰好出现两次。

"恰好"一词造成了难度。添加新循环可能修复一条覆盖不足的边，却导致另一条边出现三次。

为何排除桥

桥不能属于任何循环。如果一条边是图的两个部分之间的唯一连接，则没有有效的闭合路径能包含它。因此，存在桥时，循环双覆盖是不可能的。

已发布证明的核心思想

该手稿并未直接搜索所需的循环。

它将问题转化为有限向量空间上的边标记问题，然后利用线性代数证明局部标记可以全局一致。

步骤1：归约为三次图

该证明采用了归因于Jaeger的标准归约方法。只需处理无环三次多重图即可，其中每个顶点恰好有三条

关联边。

步骤 2：分配非零流标签

该证明使用了有限向量空间：

Γ = F₂³

一个处处非零流会为每条边分配一个非零向量，同时满足每个顶点的守恒规则。

对于关联边的标签 x、y 和 z：

x + y + z = 0

该证明依赖于一个已确立的定理：每个无桥图在该八元素群上都有一个处处非零流。

步骤 3：将每个标签替换为一个二元集合

每条边 e 会获得一个二元集合：

Pₑ ⊆ Γ

目标的局部规则是：

对于每个顶点 v 和标签 s ∈ Γ，
满足 s ∈ Pₑ 的关联边 e 的数量要么为 0，要么为 2。

固定一个标签 s，并收集所有其集合包含该标签的边。每个顶点在该子图中的度数要么为 0，要么为 2，因此被选中的边构成若干个不相交的环。

由于每条边有两个标签，它恰好属于两个由标签定义的环族。这就产生了一个环双覆盖。

步骤 4：解决全局一致性

局部构造必须在每条边的两个端点处保持一致。

该证明将这一条件表述为一个线性系统：

tᵤ + tᵥ + εₑ f(e) = dₑ

随后，利用对偶空间和奇偶性论证来证明该系统总有解。

因此，局部的二元集合可以组合成一个全局赋值，所需的环也随之自动出现。

策略总结为一句话

该证明并非逐个构造环。它构造了标签，而这些标签的奇偶结构迫使环自动出现。

为何独立验证仍至关重要

对一个著名开放猜想的简短证明，无论是由人类还是人工智能系统撰写，都需要仔细核查。

评审者需要验证以下几点：

1. 归约到三次图的过程是否严格按照所需方式应用。
2. 处处非零流定理是否满足所需假设。
3. 局部标记是否能处理所有有效的三次配置。
4. 对偶性论证是否能证明完全可解性。
5. 平行边和不连通图是否得到正确处理。
6. 是否有任何步骤假设了该猜想的等价形式。

以往的论文也曾声称证明了环双覆盖猜想，但并未产生广泛接受的解决方案。因此，仅凭一份手稿的存在是不够的。

一个严谨的描述是：

GPT-5.6 Sol Ultra 生成了一份简短手稿，OpenAI 将其呈现为一个完整的证明，该论证现已可供独立数学评审。

提示词的不同之处

该提示词并未预先指定某一种证明方法。它创建了一份任务合约。

它定义了：

• 确切的定理。
• 所有重要的术语和边界情况。
• 何种情况算作完成。
• 何种情况不算作完成。
• 智能体应如何探索替代方案。
• 何时应将某条路径标记为受阻。
• 候选证明应如何被评审。
• 每个智能体必须返回哪些证据。
• 根智能体何时可以停止。

![图像展示了用于“环双覆盖猜想证明”的提示词文档，由 OpenAI 提供。文档标题为]

提示词第一课：定义最终成果，而非猜测的流程

对于未知解决路径的复杂任务，僵化的流程可能隐含错误假设。

更好的提示词应定义最终成果及其必须通过的测试标准。

交付满足所有验收标准的完整结果。
你可动态选择并调整过程，但最终输出必须涵盖所述全部情况，
并能通过独立审查。

提示词第二课：尽早消除歧义

该提示词在要求证明前，先定义了图类、桥、环、平行边、非连通图及精确重数。

对于商业或技术工作，应等义定义：

• 时间范围
• 数据来源
• 用户群体
• 计量单位
• 所需格式
• 允许假设
• 排除情形
• 审批边界

提示词第三课：明确何为无效成果

该提示词明确拒绝：

• 仅针对特殊图类的证明
• 存在某条边未恰好出现两次的圈覆盖
• 归约至其他未证猜想
• 仅验证至固定图规模
• 以部分进展冒充完整解决方案

此技术可防止智能体提交看似惊艳但实则不完整的成果。

提示词第四课：保留独立搜索路径

主智能体被要求从真正不同的方法入手，且不向大多数智能体过早透露倾向路径。

这减少了过早收敛和群体思维。

实用的智能体组合可包含：

智能体家族	职责
结构型	搜索归约与不变量
代数型	将问题转化为方程
构造型	直接构建所需对象
计算型	测试案例与提议引理
文献型	验证标准定理
对抗型	搜索反例与隐藏假设
综合型	对比并合并兼容结果

提示词第五课：标记受阻路径

当某路径遇到与原问题同等困难的缺失引理时，应标记为受阻。

除非有人引入真正新颖的机制、不变量、构造或反例，否则不分配额外智能体。

这可避免将计算资源浪费在优雅但循环的归约上。

提示词第六课：分离生成与审查

该提示词要求对抗型智能体检查精确重数、平行边情况、非连通图、无效闭合迹，以及

循环论证。

创造解决方案的智能体不应是唯一对其进行评判的智能体。

这适用于产品发布、数据分析、迁移、安全审查以及法律或财务工作流程。

提示词第七课：要求具体证据

子智能体必须返回具体的引理、方程、构造或反例。诸如“有希望的方向”这类模糊报告不被接受。

一条可复用的指令是：

每个智能体必须返回一个可供其他智能体检查的工件。
不接受没有计算、测试、来源、代码、示例或未精确说明的未解决空白的状态更新。

八小时指令与一小时结果

提示词指示系统在考虑停止或放弃前至少花费八小时。OpenAI的公告称该证明在一小时内完成。

公开文件未详细说明该指令的具体执行方式。

一种合理的解释是实际运行时间与聚合智能体时间的差异。当64个智能体并行运行时，一小时的流逝时间可能包含许多智能体-小时的工作量。

这仅是一种推断，而非该实验确认的核算方法。

可复用的多智能体任务合约