GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想
OpenAI 宣布 GPT-5.6 Sol Ultra 正式可用，并展示了其在高难度推理任务上的突破。据官方及多位转发者披露，该模型在不到一小时内，调用 64 个子智能体协同工作，成功生成了有 50 年历史的图论难题“循环双覆盖猜想”的证明草稿。官方与研究人员同步公开了相关的提示词和证明文本以供社区核验。这一事件展示了大模型在解决复杂数学问题上的巨大潜力，引发了 AI 社区的广泛关注与讨论。
关键细节与证明思路
据 @量子位 拆解，循环双覆盖猜想是图论中的经典开放问题。GPT-5.6 的证明思路分为两步：首先将一般图归约到三次图，随后使用“无处为零的 8 流定理”为边赋予权重。@LiorOnAI 则指出了其背后的系统机制：该模型并非依赖单条长推理链，而是将问题拆分给多个智能体并行尝试不同解法，通过并行化测试时计算来突破延迟瓶颈。
各方反应与社区热议
这一突破引发了大量讨论与玩梗。@tstorm 等人对这种长时程、多智能体系统的扩展能力表示认可。@basedjensen 推测，如果这确实是用当前公开可用的模型完成的，那么 OpenAI 内部必然已经持有比 GPT-5.6 更强的模型。@alishbaimran 则从技术角度总结，认为这证明了增加测试时计算能带来更强的智能，而并行化是解决长推理延迟的关键。
2026-07-10 ~ 2026-07-12 · 17 条相关
- 第 1 集:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(2026-07-10,17 条)
- 第 2 集:GPT-5.6 Sol Ultra破解50年数学猜想(2026-07-12,4 条)
一手来源
- GPT-5.6用64子代理证出猜想 — __eknight__ ·
- GPT-5.6证明图论猜想与prompt技巧 — 量子位 ·
- GPT-5.6被指并行解数学题 — LiorOnAI ·
- GPT-5.6 解数学难题案例 — OpenAI · 2026-07-10
- 【源头】GPT-5.6用64子代理证出猜想 — __eknight__ · 2026-07-11
- GPT-5.6 Ultra 证出50年猜想 — StartupYou · 2026-07-11
- 并行测试时计算加速数学证明 — alishbaimran_ · 2026-07-11
- 多智能体一小时证数学猜想 — tstorm · 2026-07-11
- GPT-5.6 Sol Ultra完成数学证明 — haider1 · 2026-07-11
- GPT-5.6 Sol Ultra 转为GA — jxnlco · 2026-07-11
- 不到一小时证明50年猜想 — soumitrashukla9 · 2026-07-11
- 【源头】GPT-5.6证明图论猜想与prompt技巧 — 量子位 · 2026-07-11
- 64个子智能体一小时证数学猜想 — phroo · 2026-07-11
- 网友玩梗：GPT-5.6用一个多小时证明了50年数学猜想 — littmath · 2026-07-11
- OpenAI 可能藏着更强模型 — basedjensen · 2026-07-11
- GPT-5.6 被指证明数学猜想 — brianryhuang · 2026-07-11
- GPT-5.6 Sol Ultra上线并演示数学证明 — teortaxesTex · 2026-07-11
- 【源头】GPT-5.6被指并行解数学题 — LiorOnAI · 2026-07-12
- AI成功证明50年未解数学猜想 — umesh_ai · 2026-07-12
另有 1 条近重复转述:basedjensen