一个 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 条相关)→
「研究」频道最新
- 3D ResNet 论文八年突破 3000 引用,Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题,供人类与 AI 攻关 — IgorCarron · 2026-09-11
- 本周热议的数学猜想到底关我什么事?一张普通人视角清单 — koltregaskes · 2026-09-11