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 条相关)→
「研究」频道最新
- DeepMind 等论文：设计文档当真相源，代码改为可抛弃产物 — Roger_M_Taylor · 2026-09-11
- GameWorld 获 ECCV 2026 多模态数字代理研讨会最佳论文亚军 — MikeShou1 · 2026-09-11
- Yann LeCun 在 ECCV 直播开讲世界模型 — Weak_Assistance_5261 · 2026-09-11
- 3D ResNet 论文八年突破 3000 引用，Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- 把数据调度变成优化的一部分：样本选择与排序影响 LLM 训练 — Puzzleheaded_Box2842 · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11