一个 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 对话时找到的,强调了大模型在数学探索中的参与度正在上升。
这条信息的重点不是“发了一个推文”,而是一个长期图论猜想被附上了具体反例并公开否定。
「研究」频道最新
- 新论文把智能与可学习新颖性联系起来 — theomitsa · 2026-07-22
- Turing Motors 称 CTO 斩获 Kaggle 2026 ARC-AGI 竞赛金牌 — MeganRisdal · 2026-07-22
- 论文警告:可疑 Kaggle 医疗数据集已流入论文和临床 — EhudReiter · 2026-07-22
- 蛋白语言模型仅靠单序列也能学到同源寡聚体接触 — anshulkundaje · 2026-07-22
- 商业前沿模型误判角色,拦下攻击取证分析 — morqon · 2026-07-22
- LeCun 的 JEPA 路线迎来一篇世界模型论文 — nikola_mr64990 · 2026-07-22