7.5
深览指数
科技量子位·henry··AI 生成
GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent
OpenAI 研究院使用 GPT-5.6 Sol Ultra 在不到一小时内，通过 64 个子 Agent 并行协作，完成了对图论中「循环双覆盖猜想」的证明。该猜想存在约 50 年，是图论核心开放问题之一。文章核心贡献在于详细拆解了 OpenAI 公开的 700 词 Prompt 技巧：不规定解法、明确验收标准与边界条件、动态分工与独立审查机制。适合对 AI 前沿能力、复杂 Prompt 工程或数学推理感兴趣的读者，可从中获取驾驭大型模型的实操方法论。原文 ↗
核心观点
- ▍GPT-5.6 在不到一小时内，通过 64 个子 Agent 并行协作，证明了存在 50 年的图论「循环双覆盖猜想」，展示了前沿模型与多 Agent 架构在复杂数学推理上的潜力。
- ▍OpenAI 公开的完整 Prompt 的核心方法论是：不规定解法路径，而是将最终验收标准、边界条件、负例清单和审查机制写清楚，形成一份可执行、可纠错的「任务合同」。
- 01使用的模型为 GPT-5.6 Sol Ultra，这是一个公开可用的模型版本，而非内部特供版（o1 核心贡献者 Noam Brown 确认）。
- 02系统通过 64 个子 Agent 将测试时计算并行化，将原本可能需一整天的证明压缩到一小时内完成。
- 03证明的四个核心步骤：1) 将一般图归约为三次图；2) 利用无处为零的 8 流定理为每条边贴标签；3) 将单标签扩展为双标签，使同标签边自动形成圈；4) 用线性方程组解决全局一致性。
- 04Prompt 长度为约 700 个英文字符，包含明确的验收标准（需证明所有有限、无桥、无自环的多重图），以及专门的负例清单（如只证明特殊图类不算）。
- 05子 Agent 被要求按动态搜索策略分配资源，并设置独立的「对抗性智能体」负责审查候选证明中的逻辑漏洞。
反方 / 局限
- — 文章未提及该证明是否已通过同行评审，仅以 PDF 形式发布，其严谨性和正确性尚未得到数学界正式验证。
- — 文章未讨论 GPT-5.6 在证明过程中是否产生了未被报告的、不可复现的随机性，或是否依赖特定初始提示词设置。
11 分钟 · 4 卡片 · 8 资料
读原文 →