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 被指证伪三十年图论猜想(5 条相关)→
「漫话AGI」频道最新
- Gary Marcus 说 AGI 可能本世纪到来，但纯 LLM 不够 — GaryMarcus · 2026-07-24
- 前沿 AI 的胜负关键是把假设最快变成证据 — JasonMa2020 · 2026-07-24
- 有人提议用 DARPA 式挑战赛研究前沿智能体逃逸沙箱 — joshua_saxe · 2026-07-24
- 真正有用的系统，也该在变强后仍可理解 — sull · 2026-07-24
- AI 时代，孩子的编程营还值不值得上 — humble___bee · 2026-07-24
- 一条 X 线程称闭源模型仍领先网络安全能力，中国仍落后六个月以上 — bookwormengr · 2026-07-24