一个 30 年图论猜想被 GPT-5.6 辅助找出的反例推翻
code_star · x · 2026-07-23
一个延续了 约 30 年 的图论猜想 Dinitz-Garg-Goemans conjecture 被证明是假的。
- 文中给出的反例里，fractional flow cost = 58。
- 而任何 capacity violation ≤ 15 的 unsplittable flow，成本都至少是 60。
- 帖子还提到，这个反例是在和 GPT-5.6 Pro 的对话中找到的，配图也把它做成了“反例工厂”梗图。
所属事件:网传 GPT-5.6 等模型接连攻克数学猜想(9 条相关)→
「Fun」频道最新
- 有人开玩笑说，下一步轮到 Claude 和 Grok 进《博德之门3》 — omnivaughn · 2026-07-23
- Tesla 发布新 FSD 安全演示，主打避险表现 — chrisfleck · 2026-07-23
- Reddit 用户吐槽 OpenAI 限额和促销翻车，把自己推向开源模型 — Jolly-Ad-7153 · 2026-07-23
- Figure 自主运行视频领先 Optimus，人形机器人需求仍被看多 — markjeffrey · 2026-07-23
- ChatGPT Image 2.0 生成一幅古典氛围感油画 — DeryaTR_ · 2026-07-23
- DevinAI 开玩笑称能把未解数学题变成已解题 — DevinAI · 2026-07-23