GPT-5.6 证明循环双覆盖猜想
scrlk · hn · 2026-07-11
OpenAI 发布一份 PDF，声称 GPT-5.6 Sol Ultra 证明了图论中的 Cycle Double Cover Conjecture（循环双覆盖猜想）。
这条消息的核心是：模型不只是回答题目，而是给出了一个数学定理级别的证明结果。帖子本身未展开证明细节，但提供了 OpenAI 的论文 PDF 链接，属于模型能力层面的显著进展。
「模型」频道最新
- 用 LLM 研究 4 小时创业点子，产出的却是一套 nonsense 产品论 — annetgriffin · 2026-10-27
- 开发者吐槽 Claude 烧 token：同样工作 GPT 省 3 倍用量更便宜 — haider1 · 2026-10-27
- 非刷榜评测中 MiniMax 表现比肩 Claude 4.5,引发社区关注 — teortaxesTex · 2026-10-27
- 实测算账：GPT-6.1 Terra 半价却更费 token，反而比 Sol 更贵 — lordpuddingcup · 2026-10-27
- 爆料称 Fable 5.5 大概率本周内发布 — kimmonismus · 2026-10-27
- GPT 6.1 Terra 对比 Sonnet 5.5：速度性价比与智能能力之争 — teortaxesTex · 2026-10-27