← 返回精选动态
精选动态

AI 30年图论猜想被推翻

Dmitry Rybin 公布 Dinitz-Garg-Goemans 猜想错误(开放30年)

更新于 2026年07月23日 03:45 3 条公开来源

发生了什么

Dmitry Rybin 公布 Dinitz-Garg-Goemans 猜想错误(开放30年)

为什么值得关注

提供了具体反例图与成本数据,不同于以往泛谈AI辅助数学证明,建议查看原文对话与图例。

信息来源

以下内容来自公开来源,可打开原文继续核验。

01

AI 30年图论猜想被推翻

twitter关注列表 2026年07月23日 03:01

Dmitry Rybin 通过 GPT 5.6 Pro 发现 Dinitz-Garg-Goemans 猜想错误,该猜想开放约30年。具体反例图显示分式流成本58,不可分裂流(容量违反≤15)成本至少60。

打开原始来源 ↗
02

AI发现Dinitz-Garg-Goemans猜想反例

twitter关注列表 2026年07月23日 00:07

GPT-5.6 Pro 发现了图论中开放约30年的 Dinitz-Garg-Goemans 猜想的一个反例,该反例显示存在分数流成本58且任何不可分流量成本至少60的图。

打开原始来源 ↗
03

AI 推翻 30 年图论猜想

twitter关注列表 2026年07月23日 00:00

GPT 5.6 Pro 反驳了 Dinitz-Garg-Goemans 猜想(开放约 30 年),通过简单提示词(如“做个突破”)发现反例:分数流成本 58 时,不可分割流成本至少 60。

打开原始来源 ↗
← 返回精选动态