图论界三十年悬案，一夜之间崩塌。
今天，GPT-5.6 Pro成功证伪了图论领域持续三十年的猜想——Dinitz-Garg-Goemans猜想。他给出的证据干脆利落：一张图，分数流的成本仅为58。然而，任何容量违规不超过15的不可分割流，其成本至少是60。58小于60，这意味着悬了三十年的猜想不攻自破。
与此同时，哥大博士Shouqiao Wang利用GPT-5.6 Sol配合Codex工作流，在短短5天内解开了6道此前标记为开放的Erdős难题。他共尝试了约13道题，成功率高达46%，其中一道单题连续运行了32个小时。
今晚即将公布的菲尔兹奖，或许真的会成为纯人类智力的“绝唱”。但这并非终局，而是AI与人类共生探索的“新纪元”开端。
**一个三十年的猜想被GPT-5.6 Pro推翻**
Dmitry Rybin公开了与GPT-5.6 Pro的完整聊天记录。他表示，虽然“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只问了三句话。第一句是构造反例，要求突破；第二句是继续找，要有从问题结构深层理解中得来的清晰策略；第三句是部分结果够了，直接给出一个完整、无条件的反例。
**拿过奥赛金牌的人，在做算法了**
推翻三十年的图论猜想，Dmitry Rybin并非传统意义上的学术苦行僧。他目前是一家估值1亿美元的AI创业公司的联创。他在个人介绍中提到，自己拥有香港中文大学（深圳）机器学习博士学位，最值得一提的是，他还拿下了国际大学生数学竞赛金牌和全国数学奥赛金牌。
让他在圈内真正出名的，是2025年5月那篇关于计算矩阵乘以自身转置的更快算法的论文。这个操作听起来抽象，却是统计中的协方差矩阵、芯片设计和无线通信的地基，更是现在训练大模型时反复要算的东西。紧接着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年，他带着满级天赋推开了“神仙打架”的北大数院大门。
但故事最有趣的地方在于，他并没有顺着剧本留在纯数的世界里。如今，他转身去了哥伦比亚大学商学院攻读决策、风险与运营方向的博士。他将拆解数学方程的锋芒，投向了更具现实张力的前沿领域：研究机制设计与博弈论。
**AI距离拿下“菲尔兹奖”还有多远？**
4个半小时，击碎30年悬案；5天，连破6道难题。今晚即将公布的菲尔兹奖，或许真的会成为纯人类智力的“绝唱”。但这并非终局，而是AI与人类共生探索的“新纪元”开端。从单兵作战到多Agent自主对抗，AI逐渐成为了真正能拓展认知边界的“科研搭档”。你觉得，AI距离拿下属于它的“菲尔兹奖”还有多远？