量子位报道，GPT-5.6 Pro 被用于寻找图论领域的 Dinitz-Garg-Goemans 猜想反例；这里记录的是媒体报道中的新反例，不等同于同行评审结论。1
- 研究者 Dmitry Rybin 与 GPT-5.6 Pro 进行了 4 轮对话，合计输入 58 个英文单词。
- 报道中的反例有 7 个节点、9 条有向边、3 个目的地，三批货物需求量为 15、10、15。
- 分数流方案总成本为 58；在不可分流且满足容量要求的条件下，最低成本为 60。原文还称，8 种组合中只有 4 种满足容量，合规成本为 90、60、60、60，另 4 种低成本组合都超载。1
真正值得看的不是「一句提示词自动证明了猜想」，而是搜索、构造和穷举核验如何被串成一条证据链。当前原文未提供论文或独立复核入口，图中的结论应按量子位报道口径阅读。
Comentar
Inicia sesión para comentar.