GPT 5.6 Pro 辅助找到反例，30 年图论猜想被推翻
burny_tech · x · 2026-07-24
一个存在了将近 30 年的图论/优化猜想被证明是假的。
- 帖子称，已经找到一个反例：该图的分数流成本为 58。
- 但任何不可分流方案在容量违反不超过 15时，成本都至少是 60。
- 发帖人还提到，这个反例是在与 GPT 5.6 Pro 的聊天过程中发现的，显示了模型参与搜索的过程。
- 附图只是表情包式反应图，真正的信息量在于猜想被推翻和反例被找到。
所属事件:网传 GPT 5.6 Pro 辅助推翻数十年图论猜想(3 条相关)→
「研究」频道最新
- The Stack v3 升级为 114TB、5 万亿 tokens 的最大开源代码集 — JJitsev · 2026-07-24
- HyperNet 用 LoRA 权重把事实注入冻结大模型 — rohanpaul_ai · 2026-07-24
- 研究：程序性记忆的重现独立于海马体 — ClementineDomi6 · 2026-07-24
- 独立搜索让 Fable、Sol、Grok 和 Gemini 准确率都更高 — ycombinator · 2026-07-24
- AI 正让 null results 论文更便宜，也可能稀释科研信号 — soumitrashukla9 · 2026-07-24
- GLM-5.2 博客透露，Z.ai 似乎放弃 GRPO 回到 PPO — bycloud · 2026-07-24