GPT-5.6 Sol Ultra上线并演示数学证明
teortaxesTex · x · 2026-07-11
GPT-5.6 Sol Ultra 现已 general availability。
官方同时分享了一个演示：该模型使用 64 个 subagents，在 不到一小时 内生成了著名的 Cycle Double Cover Conjecture 的证明，并公开了对应的 prompt 和 proof。
这条信息的重点不只是“能做出结果”，还在于它展示了模型经过后训练后，能够在复杂任务中调用多智能体协作完成高难度推理。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「编程与Agent」频道最新
- Kolab 基准：真人屏幕录像揭示 AI Agent 高估自身协作质量 — minnesotanlp · 2026-10-27
- 开发者吐槽 Claude 烧 token：同样工作 GPT 省 3 倍用量更便宜 — haider1 · 2026-10-27
- InfoWorld：别把模型当地基，Agent 架构必须做到 48 小时可换模型 — rseroter · 2026-10-27
- 便宜模型跑 Agent 反而更贵：线性往返堆爆上下文窗口 — vasuman · 2026-10-27
- 5 千行 Rust 单二进制看板 Kanzo：给 Claude Code 当任务板 — allmudi · 2026-10-27
- 「人类审批就安全」是幻觉：approval fatigue 与 Agent 风险设计 — Efistoffeles · 2026-10-27