2026 年 7 月 10 日,OpenAI 研究员 Ethan Knight 在 X 宣布:GPT-5.6 Sol Ultra 用 64 个并行子代理在一小时内给出 Cycle Double Cover 猜想完整证明,同步公开三页证明 PDF 与触发 prompt。这是 CDC 猜想自 1973 年 Szekeres、1979 年 Seymour 独立提出以来,首次公开宣告正面证明。 CDC 问每个无桥图能否找到一组圈,让每条边恰好落入两个圈中。OpenAI 走经典 8-flow 路线:归约到无桥三次图,借既有 nowhere-zero 8-flow 定理拿到边标记,再用新线性代数论证转写为圈分解。整份三页文本几乎只用初等图论与算法式构造,没引新框架——这是这道半世纪悬案第一次以"短+初等"形态被击中。 真正可读信号在 prompt 编排:64 子代理被要求"动态且激进"协作,前几轮不锁方向,失败代理显式 blocked,对抗型代理专盯病态反例,只有通过自身内部审计的完整证明才允许回传——这把多代理合作直接焊进了研究方法论。 Terminal-Bench 2.1 上 Sol Ultra 拿到 91.9%,比次席 Claude Mythos 5、GPT-5.5 的 88.0% 高出近 4 分,多代理路线在硬结构化问题上的可重复性已经站住脚。下一份 64 子代理输出单的合理候选大概会落在 Erdős–Ginzburg–Ziv、密码学 hardness 上界这类组合结构清晰的悬案上——但数学社群的标准动作仍然是先分组核查三页 PDF,再尝试补一遍 Lean 形式化,在图论领域这条路还要走很长时间。