GPT 5.6 Pro 辅助找到反例，30 年图论猜想被推翻
burny_tech · x · 2026-07-24
一个存在了将近 30 年的图论/优化猜想被证明是假的。
- 帖子称，已经找到一个反例：该图的分数流成本为 58。
- 但任何不可分流方案在容量违反不超过 15时，成本都至少是 60。
- 发帖人还提到，这个反例是在与 GPT 5.6 Pro 的聊天过程中发现的，显示了模型参与搜索的过程。
- 附图只是表情包式反应图，真正的信息量在于猜想被推翻和反例被找到。
所属事件:GPT-5.6 Pro 被指推翻 30 年图论猜想(5 条相关)→
「研究」频道最新
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 研究者谈评测集透明度:组合性评测仍存数据污染隐患 — najoungkim · 2026-10-27
- 可解释性研究该分清形式与估计器：均值差转向不如直接梯度下降 — johnhewtt · 2026-10-27
- EMNLP 论文：让 LLM 换个问法，「42」变「3」但蝴蝶仍是帝王蝶 — radamihalcea · 2026-10-27
- Datology Curation Studio 线上深潜：少于 20% 算力匹配最强基线 — josh_wills · 2026-10-27
- KANLab 开源：浏览器里可视化玩转 KAN 网络 — Lukas Niehaus · 2026-10-27