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」频道最新
- Claude Projects 新招:拖拽或 @ 引用会话线程,定位更精确 — dfeinition · 2026-10-27
- Fern 0.1 预览:一人 3.5 个月、不到 1000 万美元预训练的编程模型 — teortaxesTex · 2026-10-27
- Yaron Minsky 分享让代码库更适配 AI Agent 的实操清单 — sh_reya · 2026-10-27
- Celesto 推出便宜近 90% 的 CI Runner，兼做 Agent 云电脑 — aniketmaurya · 2026-10-27
- Runway 发布 App Studio：描述即生成图片视频音频创意应用，无需代码 — runwayml · 2026-10-27
- Supabase 联创谈 AI 时代后端：为十亿个 AI 生成应用而设计 — Latent Space · 2026-10-27