一个 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 Pro等模型连破数学猜想，但验证频翻车(11 条相关)→
「Fun」频道最新
- Arena Ladder 2566 分冠军机器人被拉下马，作者连夜迭代复仇版 — tristanbob · 2026-10-27
- 把网页做成泥金装饰手抄本:程序化生成动画花饰边框 — round · 2026-10-27
- 推特疯传“求职邪道”：伪造 MRR 日更晒收入换 offer — _jaydeepkarale · 2026-10-27
- 马斯克造 Neo 云还放话竞争对手「归零」,网友直呼好笑 — tekbog · 2026-10-27
- Dreamina 生成「特斯拉车主开车飞走」名场面视频 — EvenWrangler-6577 · 2026-10-27
- 开发者用 Claude Opus 5.5 做出交互式像素风个人主页 — CatAstro_Piyush · 2026-10-27