GPT-5.6证伪30年图论猜想！北大校友5天连破6题

新智元报道

30年图论「悬案」，一夜崩塌。

就在今天，GPT-5.6 Pro证伪了图论领域三十年猜想——Dinitz-Garg-Goemans。

他给出的证据极其干脆：一张图，分数流的成本是58。

而任何容量违规不超过15的不可分割流，成本至少是60。

58＜60，一个悬了30年的图论猜想倒了。

同一天，哥大博士Shouqiao Wang，用GPT-5.6 Sol配合Codex工作流，5天解掉了6道开放Erdős问题。

昨晚，新一届菲尔兹奖已公布。

但现在圈内，都在疯传一个说法：这可能是「人类最后一届」菲尔兹奖了。

一个30年猜想

GPT-5.6 Pro证伪

这一次，与GPT-5.6 Pro的完整聊天记录，全被公开了。

Dmitry Rybin表示，现在「AI推翻老猜想」已经快成网络热梗了。

但他真的在乎这个问题，当年在证明和证伪两个方向上都花了好几周去想。

他还补了一句，这段人机对话本身就是个绝世好梗。

先把这题是什么说清楚。当年，Dinitz、Garg和Goemans证过一个很漂亮的结论：

只要存在一个满足容量限制的分数流，就一定存在一个不可分割流，代价是容量最多被超出「最大需求」那么多。

Goemans后来加了一个很自然的猜想：能不能在不超容那么多的同时，成本也别涨？

这个成本版一直没人做出来。

2023年的arXiv论文里它是open，2026年1月的文献里它还是open。

几乎所有搞图流的人都想过它。

现在模型给出的反例长这样：三个终端，需求分别是15、10、15。每个终端都有一条「便宜路」（零成本）和一条「贵路」（成本30）。

关键在于，三条便宜路两两冲突。任选两条，就一定有一条边超容。

于是任何合法的走法最多只能用一条便宜路，剩下两个终端必须走贵路，成本至少60。

而分数流可以按1/3、2/5、1/3的比例同时用上这三条便宜路，成本只要58。

熟悉组合优化的人到这儿会立刻反应过来：这就是一个三角形的稳定集不等式。

整数解满足z₁+z₂+z₃≤1，而分数解是1/3+2/5+1/3=16/15，大于1。

整场对话，Rybin一共只说了三句话。

• 第一句：构造一个反例，你要做出突破，找一个结构化的反例。

• 第二句：继续找，要有从问题结构的深层理解中得来的清晰策略。

• 第三句：部分结果够了，我们直接给出一个完整的、无条件的反例。

拿过奥赛金牌的人，去做算法了

推翻30年图论的Dmitry Rybin，目前是一家1亿美元AI创业公司的联创。

在个人介绍中，Rybin曾获得了香港中文大学（深圳）机器学习博士学位。

最值得一提的是，他还拿下了国际大学生数学竞赛金牌，全国数学奥赛金牌。

真正让他在圈里出名的，是2025年5月那篇论文——

Rybin找到了一个更快的算法，用来计算一个矩阵乘以自己的转置。

这个操作听起来抽象，但它是统计里的协方差矩阵、是芯片设计和无线通信的地基，也是现在训练大模型时反复要算的东西。

紧接着10 月，他又发了一篇：让因果注意力的精确计算少10%的运算。

他的GitHub上放着一个仓库，名字叫「用OpenEvolve做算法发现和优化的实验」。

一个奥赛金牌选手，博士期间没去追大模型，一头扎进了「怎么让机器帮人搜出新算法」。

北大数院华人校友

五天破解6大难题

同一批时间线上还有另一件事。

哥大博士Shouqiao Wang表示，自己用GPT-5.6 Sol配Codex，5天解掉了6道此前标记为开放的Erdős问题。

一共尝试了约13道，成功率46%，其中一道单题连续跑了32个小时。

他把方法拆成三条。

选题过程，只挑数学家本来就在讨论的题，再用AI把那些跟重大猜想，死死绑在一起的排除掉。

自己定义「什么才算解决」：精确重述问题、写清一个完整证明必须确立什么、列出哪些较弱的结论不算数、点名这道题特有的坑。

最后要求独立的对抗Agent去挑战每一个候选结论。

整个过程是一个死循环：尝试 → 失败 → 诊断 → 换路线 → 写证明草稿 → 对抗审计 → 修补。

模型反复推翻自己、攻击自己的论证，直到再也挑不出实质问题。

值得一提的是，其中一道题目，还是陶哲轩曾经研究过的，至今未解。

对此，Shouqiao Wang轻描淡写地带了一句：我有数学背景，但这套工作流不需要很深的数学知识。

但他口中所谓的「有些背景」，含金量稍微有些超标。

13岁那年，当同龄人还在初中课堂里按部就班时，他越级报名了滑铁卢大学欧几里得数学竞赛，拿下世界第一。

紧接着的2016和2017年，他又连摘两枚中国数学奥林匹克（CMO）银牌，并顺理成章地将2017年全国高中数学联赛的第一名收入囊中。

2018年，带着满级天赋，他推开了「神仙打架」的北大数院大门。

但故事最有趣的地方在于，他并没有顺着剧本留在纯数的世界里。

如今的他，转身去了哥伦比亚大学商学院攻读决策、风险与运营方向的博士。

他将拆解数学方程的锋芒，投向了更具现实张力的前沿领域：研究机制设计与博弈论。

「人类最后一届」菲尔兹奖？

4个半小时，击碎30年悬案；5天，连破6道难题。

今晚即将公布的菲尔兹奖，或许真的会成为纯人类智力的「绝唱」。

但这并非终局，而是AI与人类共生探索的「新纪元」开端。

从单兵作战到多Agent自主对抗，AI逐渐成为了真正能拓展认知边界的「科研搭档」。

你觉得，AI距离拿下属于它的「菲尔兹奖」还有多远？

参考资料：

https://x.com/DmitryRybin1/status/2079904005652893709?s=20

https://x.com/Qiaoqiao2001/status/2080003441821163958

编辑：桃子