循环双覆盖猜想（Cycle Double Cover Conjecture，CDC）是图论核心开放问题，由数学家 George Szekeres（1973）与 Paul Seymour（1979）分别独立提出。用最直白的语言：

该猜想难在何处？以下五点是理解此次 AI 突破分量的关键：

2026 年 7 月 9 日，OpenAI 正式发布 GPT-5.6 系列三档模型，Sol 在 Artificial Analysis Coding Agent Index 上以 80 分刷新纪录，超过 Anthropic Fable 5（77.2 分），且 token 不到一半、耗时减半、成本约三分之一。

GPT-5.6 新增两种推理模式：max 给予单模型最充裕思考时间；ultra 则自动调度多个子智能体并行工作，各自探索不同路径后汇总——整个编排在一次 API 调用内部完成，而非传统多 Agent 框架的外部编排。

OpenAI 公开了完整 700 字 Prompt（可在其 CDN 下载）。令人惊讶的是：仅约五分之一描述数学问题本身，剩余五分之四全部在优化模型行为策略。

系统预留 8 小时算力预算，实际不到 1 小时即产出证明。最终证明仅 3 页纸，路线如下：

1. 归约：将一般无桥图 CDC 化归为三次图（Cubic Graph）情形（标准文献做法）

2. 利用 8-流定理（8-flow theorem）：
   对三次图，用 Tutte 结果，将边用 Γ = F₃² 的非零元素标记，
   使每个顶点处三条边标记之和为零向量

3. 关键归约（线性代数）：
   将「加法标记」转化为「集合标记」——每条边标记为 Γ 中二元素子集，
   使每个顶点处 Γ 的每个元素恰好出现零次或两次（初等线性代数）

4. 结论：上述构造直接给出循环双覆盖（每条边恰好被覆盖两次）

Bloom 同时指出：证明没有引用任何文献——核心思路可追溯至 1983 年 Bermond、Jackson 和 Jaeger 的经典论文，这是 AI 生成数学论文的普遍问题。

与 CDC 证明同日，OpenAI 披露 Sol 自主完成 Luna 后训练：研究员发出相当模糊的 Prompt（找训练配置、选 GPU、启动脚本、确认运行），Sol 通过 Codex 平台自主完成全流程。Jason Liu 补充：Sol 复用了自身后训练配置框架，创新在于迁移适配到更小的 Luna——人类研究员约需两名、两周。

六步跟进 CDC 证明与相关资源：

数学社区五重质疑（「等等，先给我 Lean 代码」）：

乐观派（如 r/singularity）认为：64 子智能体并行攻坚的架构本身才是更值得关注的信号——无论具体证明是否成立，这种 playbook 可泛化到更多开放难题。

OpenAI 在证明文末明确标注：「本证明完全由 GPT-5.6 Sol Ultra 完成」——这开启了 AI 是否可「著作权」数学定理的法律与伦理讨论。

三条可引用数据：

参考资料：

摊开替代方案：仅在个人 Mac 上跑 Ultra 模式长会话与 Lean 编译 受休眠与内存波动影响，多智能体 API 调用易中断；完全依赖云端 API 无本地验证环境 则难以并行跑 cdc-lean 与 Agent 编排脚本；虚拟机跑 macOS 违反 EULA 且 Xcode 工具链受限。对需要 iOS CI/CD、AI Agent 7×24 自动化与稳定算力环境的团队，KVMNODE 独占 Mac Mini M4 云端租赁通常是更优解：Apple Silicon 统一内存、开放 sudo、按天/周/月弹性下单。详情见 定价页、帮助中心，或 直接下单。

数据截至：2026 年 7 月 13 日 · 证明验证状态与模型能力可能随时更新