一个 30 年图论猜想被称已证伪，反例由 GPT-5.6 Pro 找到
cloneofsimo · x · 2026-07-22
被引用的帖子称，开放了大约 30 年的 Dinitz-Garg-Goemans 猜想是假的。
帖子给出了一个具体反例：某个图的 fractional flow cost 为 58，而任何容量违反不超过 15 的 unsplittable flow，其代价都至少是 60。作者还说，这个反例是在和 GPT-5.6 Pro 对话时找到的，强调了大模型在数学探索中的参与度正在上升。
这条信息的重点不是“发了一个推文”，而是一个长期图论猜想被附上了具体反例并公开否定。
所属事件:GPT-5.6 Pro等模型连破数学猜想，但验证频翻车(11 条相关)→
「研究」频道最新
- 剑桥等机构论文揭露图软提示的 token collapse 病态行为 — Sapienza · 2026-10-27
- Mathathon 2.0 启动：与陶哲轩 SAIR 合作，团队获 150 万美元算力 — _sathvikr · 2026-10-27
- 推友提出「甜课程」真实存在：两类 ML 问题应分而治之 — mike64_t · 2026-10-27
- PixGR：像素空间生成式解码加速前馈 3D 高斯重建 — kwangmoo_yi · 2026-10-27
- UniAction 统一动作条件框架:单一世界模型驱动多种动作类型 — ZeYanjie · 2026-10-27
- Infini-AI Lab 开源 Hermit:让 agent 从经验中进化出好习惯 — BeidiChen · 2026-10-27