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问题。
昨晚，新一届菲尔兹奖已公布。
但现在圈内，都在疯传一个说法：这可能是「人类最后一届」菲尔兹奖了。
01、一个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做算法发现和优化的实验」。
一个奥赛金牌选手，博士期间没去追大模型，一头扎进了「怎么让机器帮人搜出新算法」。
02、北大数院华人校友，五天破解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年，带着满级天赋，他推开了「神仙打架」的北大数院大门。
但故事最有趣的地方在于，他并没有顺着剧本留在纯数的世界里。
如今的他，转身去了哥伦比亚大学商学院攻读决策、风险与运营方向的博士。
他将拆解数学方程的锋芒，投向了更具现实张力的前沿领域：研究机制设计与博弈论。
03、「人类最后一届」菲尔兹奖？
4个半小时，击碎30年悬案；5天，连破6道难题。
今晚即将公布的菲尔兹奖，或许真的会成为纯人类智力的「绝唱」。
但这并非终局，而是AI与人类共生探索的「新纪元」开端。
从单兵作战到多Agent自主对抗，AI逐渐成为了真正能拓展认知边界的「科研搭档」。
你觉得，AI距离拿下属于它的「菲尔兹奖」还有多远？
