AI 30分钟推翻30年图论猜想

GPT 5.6 Pro 只用了 30 分钟,就推翻了一个存在近 30 年的图论猜想 Dinitz-Garg-Goemans conjecture,这是继 Jacobian 猜想被推翻之后,AI 在纯数学领域又一次拿出反例,而不只是复现已知证明。

• 该猜想此前被视为分数流与不可拆分流之间成本关系的一个理论上界,GPT 5.6 Pro 构造出具体反例:分数流成本为 58 的图中,任何容量违规不超过 15 的不可拆分流成本至少为 60,直接打破猜想成立的假设。
• 这属于「发现型」数学工作,不是套用已有定理解题,而是搜索出人类花了 30 年都没找到的具体图结构。
• 与此前被推翻的 Jacobian 猜想放在一起看,构成 AI 数学能力从「辅助证明」走向「主动证伪」的又一例证。
• 图论中的流问题在网络设计、任务调度等场景有实际应用,该猜想被推翻可能影响相关近似算法的理论上界估计。
• 对关注 AI 数学能力边界的人来说,「AI 找反例」正变得不再罕见,值得持续跟踪它在悬而未决的开放问题上的产出频率。

本内容由 AI 生成，仅供参考，请注意甄别