发生了什么
Dmitry Rybin 公布 Dinitz-Garg-Goemans 猜想错误(开放30年)
为什么值得关注
提供了具体反例图与成本数据,不同于以往泛谈AI辅助数学证明,建议查看原文对话与图例。
信息来源
以下内容来自公开来源,可打开原文继续核验。
01
AI 30年图论猜想被推翻
Dmitry Rybin 通过 GPT 5.6 Pro 发现 Dinitz-Garg-Goemans 猜想错误,该猜想开放约30年。具体反例图显示分式流成本58,不可分裂流(容量违反≤15)成本至少60。
打开原始来源 ↗02
AI发现Dinitz-Garg-Goemans猜想反例
GPT-5.6 Pro 发现了图论中开放约30年的 Dinitz-Garg-Goemans 猜想的一个反例,该反例显示存在分数流成本58且任何不可分流量成本至少60的图。
打开原始来源 ↗03
AI 推翻 30 年图论猜想
GPT 5.6 Pro 反驳了 Dinitz-Garg-Goemans 猜想(开放约 30 年),通过简单提示词(如“做个突破”)发现反例:分数流成本 58 时,不可分割流成本至少 60。
打开原始来源 ↗