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」频道最新
- 拆解两款真实「公司大脑」：Slite 与 Gorgias 同台对比构建之道 — femke_plantinga · 2026-09-11
- 浏览器主线程很贵:动画卡顿的真正成本与前端优化实践 — jh3yy · 2026-09-11
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11