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 条相关)→
「模型」频道最新
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
- 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
- Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
- 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
- Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11