GPT-5.6用64子代理证出猜想
__eknight__ · x · 2026-07-11
GPT-5.6 Sol Ultra 被宣布“正式可用”后，作者称它仅用 64 个 subagents、不到一小时，就产出了 50 年前的 Cycle Double Cover Conjecture 证明。
帖子同时表示已附上用于生成证明的 prompt 和证明文本，并期待用户继续探索 Ultra 的用法。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「编程与Agent」频道最新
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用 prompt 造硬件:一次对话让智能体组装定制设备寄到家 — paraschopra · 2026-09-11
- 模型之外才是关键:一文拆解 RAG 到多智能体的六大 AI 架构 — goyalshaliniuk · 2026-09-11
- 零基础开发者自建分层记忆架构，仅 20k token 记住一年对话 — matteoianni · 2026-09-11