GPT-5.6 Pro 证伪三十年图论猜想，Sol+Codex 解出 6 题
新智元 · wechat · 2026-07-24
GPT-5.6 Pro 证伪三十年图论猜想，Sol+Codex 五天解出 6 道难题
这篇文章称，GPT-5.6 Pro 给出了图论中 Dinitz-Garg-Goemans 猜想的反例，直接推翻了一个持续 30 年的开放问题。文中给出的构造是：三终端网络中，分数流成本为 58，而任何容量违规不超过 15 的不可分割流成本都至少为 60，因此形成 58 < 60 的反证。
同一天，文章还报道了 Shouqiao Wang 使用 GPT-5.6 Sol + Codex 工作流，在 5 天内从约 13 道开放的 Erdős 问题里解出 6 道，其中一道连续跑了 32 个小时。作者总结的做法包括：
- 只挑数学家本来就在讨论的题目；
- 先把“什么算解出来”定义得非常严格；
- 再用对抗式 Agent 逐条审计候选证明，反复回到“尝试 → 失败 → 诊断 → 修补”的循环。
文章把这些案例解读为：AI 正在从“辅助工具”变成能扩展数学研究边界的合作伙伴，也借此讨论了纯人类智力奖项未来的意义。
所属事件:GPT-5.6 Pro 被指推翻 30 年图论猜想(5 条相关)→
「漫话AGI」频道最新
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 深度学习先驱警告：别再对下一项颠覆技术重演「不信—失备」循环 — jachiam0 · 2026-10-27
- 模型如何应对利益冲突？讨论延伸到平台拒绝服务第三方 agent — sjgadler · 2026-10-27
- 马斯克断言:机器人 RAM 需求将超其他一切,超级智能算力将移向深空 — elonmusk · 2026-10-27
- Anthropic 上市文件警告 AI 冲击就业，微软同周推自愿离职计划 — _jaydeepkarale · 2026-10-27
- eigenrobot 感叹:人类「取代基督教」尝试了两百年,一次比一次失败 — eigenrobot · 2026-10-27