GPT-5.6 证明循环双覆盖猜想
scrlk · hn · 2026-07-11
OpenAI 发布一份 PDF，声称 GPT-5.6 Sol Ultra 证明了图论中的 Cycle Double Cover Conjecture（循环双覆盖猜想）。
这条消息的核心是：模型不只是回答题目，而是给出了一个数学定理级别的证明结果。帖子本身未展开证明细节，但提供了 OpenAI 的论文 PDF 链接，属于模型能力层面的显著进展。
「模型」频道最新
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11