GPT-5.6 Ultra 证出50年猜想
StartupYou · x · 2026-07-11
转发内容称，GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想——Cycle Double Cover Conjecture。
引用中给出的更多细节是：该模型是在 昨天才“正式可用”的前提下，今天就用 64 个 subagents、耗时 不到 1 小时完成了这项证明；同时官方还分享了 prompt 和 proof，邀请研究者继续探索其能力边界。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「模型」频道最新
- Fern 团队提出「上下文即智能」:预测精度随上下文增至 1000 万 token 持续提升 — bneyshabur · 2026-10-26
- Mirendil 发布首个自研预训练模型 Fern,上下文最长 1000 万 token — bneyshabur · 2026-10-26
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察：Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发，博主泼冷水：本月无前沿新模型 — patience_cave · 2026-10-26