GPT-5.6 一小时证明五十年图论猜想
本文介绍 GPT-5.6 如何借助多 Agent 协作快速攻克五十年数学难题，并公开了可复用的 Prompt 设计思路。
GPT-5.6 发布当天，用不到一小时证明了循环双覆盖猜想（图论中一个存在五十年的开放问题，要求图中每条边恰好被两个圈覆盖）。它靠一个 700 词的 Prompt 调度 64 个子 Agent 并行探索与验证，展示了多智能体协作能大幅加速复杂推理。
正文摘录
昨天刚发布的 GPT-5.6，用了不到一个小时，就完成了一道悬置半个世纪的图论猜想证明。 这道题来头不小，正是大名鼎鼎的 循环双覆盖猜想（Cycle Double Cover Conjecture）。 为了攻下这道题，研究员把当前最强的 GPT-5.6 Sol 拉到 Ultra 档位；而 GPT 自己，又拉起了 64 个子 agent（子智能体，独立执行子任务的模型实例）并行干活。 发布后，正在韩国参加 ICML 的 Noam Brown（o1 核心贡献者）也隔着太平洋第一时间赶来捧场。他表示，这次和之前的 Erdős 单位距离问题不同，不靠内部特供模型，靠公开可用的 GPT-5.6 Sol Ultra 就把活儿干完了。 而且，GPT-5.6 Sol Ultra 把测试时计算（test-time compute，推理阶段额外分配的计算量）的并行度大幅铺开。原本可能要磨上一整天的证明，如今被 64 个子 agent 压缩进了一个小时。 可以说，在数学这块，前沿模型的天花板还在被拉高。而多 agent 架构，也能极快地加速任务处理时间。 但这次真正不一样的地方在于：OpenAI 顺手放出了完整 prompt，而这里面就藏着驾驭 GPT-5.6 这类神话级模型的保姆级技巧。 --- 循环双覆盖猜想，通常被追溯到 Tutte、Itai 与 Rodeh、George Szekeres、Paul Seymour 等数学家在上世纪陆续提出，长期被视为图论中最重要的开放问题之一。 给你一张由点和线组成的图，能不能找出一批首尾相接的"圈"（cycle，起点与终点重合的闭合路径），让图上的每一条边，都刚好被这些圈经过两次？ 但只有绿色这一圈还不够，因为它只经过了图最外侧的几条边，而且每条边目前只被覆盖了一次。 其他边也要用类似的方法补齐。最终，无论挑出图中的哪一条边，都应该恰好有两个圈经过它。