OpenAI 发布 GPT-5.6 Sol Ultra,1 小时内证明 Cycle Double Cover 猜想
"Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour."
展示了多智能体协作(64 subagents)在数学推理上的潜力,对 agent 架构设计有参考价值。