一个 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」频道最新
- a16z 合伙人呼吁国有化前沿 AI？作者道歉：可能被钓鱼了 — S_OhEigeartaigh · 2026-09-11
- Google Docs 仍把 compute 当错词，AI 时代的语言滞后一景 — chrisrohlf · 2026-09-11
- Linus 并不用 GitHub 写内核：绿格子其实来自邮件列表工作流 — _jaydeepkarale · 2026-09-11
- AI 五年改变世界,Google Docs 却仍把「compute」当名词标错 — ohlennart · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- 网友上线「求 AI 别杀我」注册网站,黑色幽默拉满 — motionbynick · 2026-09-11