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 API 中出现未发布模型 GPT 6 Sol — SteveEricJordan · 2026-09-11
- AI Sextet 活动:6 模型 14 天完全免费,含 DeepSeek/Qwen/GLM — airesearch12 · 2026-09-11
- BullshitBench 榜单更新:GPT-6-Astra 领先历代 OpenAI 模型仍未及 Anthropic — scaling01 · 2026-09-11
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11