Rohan Paul· @rohanpaul_ai · X·· 2026-07-11AI 评分83
AI 导读
OpenAI 发布 GPT-5.6 Sol Ultra，该模型通过 64 个子智能体并行协作，在一小时内生成了一个存在 50 年的 Cycle Double Cover 猜想的证明。提示词引导 64 个智能体采用竞争性方法、反复审计并拒绝部分论证。OpenAI 表示，GPT-5.6 Sol Ultra 可通过多个子智能体并行处理困难工作。
正文 · AI 翻译
这太棒了。
GPT-5.6 Sol Ultra 在一小时内利用 64 个子智能体完成了一个 50 年历史的猜想证明。
提示词指示这 64 个智能体采用相互竞争的方法，进行反复审计，并拒绝不完整的论证。
OpenAI 的发布说明指出，GPT-5.6 Sol Ultra 通过多个子智能体并行处理困难任务。
昨天，我们让 GPT-5.6 Sol Ultra 正式全面可用。今天，我们分享它使用 64 个子代理，在不到一小时内就给出了已有 50 年历史的 Cycle Double Cover 猜想的证明。我们在下面分享提示词和证明。我们很期待看到大家用 Ultra 做出什么！
原文
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. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!
来源：Rohan Paul · x.com