GPT-5.6「Sol」发布：一小时证明 50 年数学猜想

2026 年 7 月 9 日，OpenAI 发布 GPT-5.6（代号 Sol），上线 API、ChatGPT 与 Codex，主打推理、决策与自主性。次日，OpenAI 宣布更重磅的消息：公开可用的 Sol Ultra 以 64 个并行子智能体协作，不到 1 小时产出了悬置约 50 年的图论难题——Cycle Double Cover 猜想的三页证明。7 月 30 日 GPT-5.6 系列宣布降价。

「并行子智能体」成为新范式

Sol Ultra 的突破不在单模型 smarter，而在组织方式：把一个问题分派给 64 个并行工作的子智能体，各自探索、互相校验、汇总收敛。这很像人类科研团队的分工，只是压缩到了小时级。「多智能体协作」从框架概念变成了模型层原生能力。

AI 科研能力的里程碑

从 2025 年 OpenAI 的 Deep Research（分钟级调研），到 2026 年 Sol Ultra（小时级定理证明），AI 在开放性智力任务上的能力边界持续外推。业界普遍预期：数学、软件工程、芯片设计这类"可验证"领域将最先被 AI 深度改写——因为对错可以自动检验。

对企业的启示

"并行子智能体"的思路完全适用于企业场景：批量合同审查、全量工单分析、多仓库库存核对——拆分、并行、交叉验证、汇总。ProMen 在企业 Agent 方案中已采用类似的多智能体编排模式处理大批量文档任务，效率较单线程提升数倍且结果可审计。