GPT-5.6 Pro 被指推翻 30 年图论猜想
网络流传称,有用户借助 GPT-5.6 Pro 成功找到了图论中 Dinitz-Garg-Goemans 猜想的反例,从而推翻了这一悬而未决约 30 年的数学难题。该消息因“用户让模型寻找反例后就去睡觉,醒来发现模型已解出”的戏剧性反差在 AI 圈引发热议。
已确认
根据现有帖子材料,传闻中提到的反例具备具体的数学参数:该图的分数流成本为 58,而任何不可分流方案在容量违反不超过 15 的情况下,成本都至少为 60。此外,据 @新智元 报道,Sol+Codex 在五天内成功解出了 6 道难题。
尚未确认
目前这主要作为 AI 圈的趣闻和梗式消息传播。帖文中不仅缺乏严谨的技术细节与正式的同行评议,且不同转发帖中对该图论猜想开放时长的描述存在出入(部分帖子称 22 年,部分称 30 年),具体名称也有 Dinitz-Garg-Goemans 猜想与 WOWII Conjecture 91 等多种叫法,其学术真实性尚待考证。
2026-07-24 ~ 2026-07-24 · 5 条相关
一手来源
- GPT 5.6 Pro 辅助找到反例,30 年图论猜想被推翻 — burny_tech ·
- GPT-5.6 Pro 证伪三十年图论猜想,Sol+Codex 解出 6 题 — 新智元 ·
- GPT 5.6 Pro 梗图把 30 年图论猜想变成反例笑话 — RichmanRonald · 2026-07-24
- ChatGPT 5.6 Pro 被指帮助推翻一个开放 22 年的图论猜想 — basedjensen · 2026-07-24
- 【源头】GPT 5.6 Pro 辅助找到反例,30 年图论猜想被推翻 — burny_tech · 2026-07-24
- ChatGPT 被说在用户午睡时推翻了 22 年图论猜想 — Polymarket · 2026-07-24
- 【源头】GPT-5.6 Pro 证伪三十年图论猜想,Sol+Codex 解出 6 题 — 新智元 · 2026-07-24