GPT-5.6 Pro 据称找出一个 30 年图论猜想反例
量子位 · wechat · 2026-07-23
这篇量子位文章称，GPT-5.6 Pro 帮助找出了组合优化里一个存在近 30 年的 Dinitz-Garg-Goemans 猜想的反例。文章把问题解释成“不可分流的送货问题”：当原本可以拆分的流量必须整批走一条路时，是否还能同时满足拥堵上限和总成本不超标。
文中给出的反例是一张只有 7 个节点、9 条有向边的小图。它表明这两个条件无法同时满足：如果要守住负载上限，最低成本会变成 60；而猜想所期待的成本水平是 58，差的 2 个单位足以推翻原命题。
文章最强调的，是人机交互过程本身：研究者 Dmitry Rybin 只用了 4 条提示、总计 58 个英文单词，不断要求模型继续搜索、给出完整且无条件的反例。GPT-5.6 Pro 前几轮都失败了，最后才收敛到正确构造。这被用来说明，AI 已经能够在极少提示下参与发现数学反例，但前提是人类要持续推动它，不接受半成品。
所属事件:GPT-5.6 Pro等模型连破数学猜想，但验证频翻车(11 条相关)→
「模型」频道最新
- OpenAI 发布 GPT-6.1 Terra：电脑操作模型，API 降价 50% — soleio · 2026-10-27
- Together AI 对谈 Meta:详解 Muse Spark Open 开放模型 — togethercompute · 2026-10-27
- OpenAI 发布低价计算机使用模型 GPT-6.1 Terra,社区质疑定位尴尬 — lyraxana · 2026-10-27
- GPT-6.1 Terra 发布:Agent 考试约 60 分,成本仅 Opus 5.5 的 1/9 — ChrisGPT · 2026-10-27
- ChatGPT 竟让技术支持用户去联系 404 Media 记者，还代写爆料邮件 — petrusenko_max · 2026-10-27
- 曝 GPT-6.1 Terra 定位尴尬：价格仅为 Sol 一半的中间档 — cedric_chee · 2026-10-27