一句话看懂：OpenAI 研究院昨日使用最新发布的 GPT-5.6 模型，在一小时内完成了一项存在近半个世纪的图论猜想证明——循环双覆盖猜想。团队通过一个 700 词的 Prompt 调度了 64 个子 Agent 并行工作，最终生成了一份 3 页的完整数学证明 PDF。
事件核心：发生了什么
据 OpenAI 研究院 Ethan Knight 和 o1 核心贡献者 Noam Brown 在公开渠道确认，GPT-5.6 的 Sol Ultra 版本（公开可用模型）于 7 月 10 日完成了一项数学验证任务：证明了图论中著名的循环双覆盖猜想。该猜想自上世纪起由多位数学家陆续提出，长期被视为图论中最重要的开放问题之一。实验中，团队未使用内部特供模型，而是将 64 个子 Agent 的并行计算资源集中投入到推理阶段，使得原本可能需要一天的计算被压缩到了不到一小时。OpenAI 随后同步公开了完整的 Prompt 与证明文件。
为什么重要
此次突破的意义不在于“AI 能解数学题”本身，而在于模型能力和工程方法的结合。首先，GPT-5.6 的推理能力已能处理数学领域顶级开放问题，且无需训练专用模型；其次，通过 64 个子 Agent 并行调度，模型在测试时计算（test-time compute）层面的扩展能力得到展示——复杂推理任务的时间成本可以被大幅降低。Noam Brown 特别强调，这次验证使用了公开可用的模型版本，而非特殊训练版本，这表明前沿模型的数学推理上限仍在被拉高。此外，完整的 Prompt 公开提供了可复现的工程范本，这是此前类似成果中较少见的。
对用户/开发者/创作者的影响
对于普通用户和 AI 应用开发者而言，这份公开的 Prompt 提供了关键的实践参考：1）不再需要为模型预设具体解题步骤，而是将验收标准和边界条件写清楚即可——这降低了复杂任务 Prompt 的撰写门槛；2）多 Agent 并行策略从实验走向了可复现的工程配置，意味着在非数学领域（如代码生成的长期调试、法律文档的多角度审查）也可以采用类似思路；3）Prompt 中特别设置了“对抗性 Agent”负责质疑和验证，这种自纠错机制值得在关键业务场景中部署。不过，目前这种配置对算力的要求仍然较高，普通开发者需关注后续是否有公开 API 或轻量版支持。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
1) GPT-5.6 的 Sol Ultra 版本是否会在 API 中开放并行 Agent 调度配置，以及相关计费方案如何设定。2) 其他前沿模型（如 Google 的 Gemini、Anthropic 的 Claude）是否会在近期展示类似的数学能力验证，从而带动多 Agent 架构的标准化。3) OpenAI 此次公开了完整 Prompt，但未说明证明结果的同行评审状态——后续是否有第三方数学研究者复现或验证这一结论，将决定其在学术界的实际认可度。4) 对于普通用户，这一能力是否会被下放到更低价的模型版本或工具应用中（如 AI 辅助数学研究工具）。
来源：Readhub · AI
