徽声在线科技前沿报道

图论领域三十载未解之谜，竟在一夜之间被攻破。

今日，GPT-5.6 Pro以铁证推翻了图论界长达三十年的Dinitz-Garg-Goemans猜想。

其证明过程简洁而震撼：通过构建一张图，分数流的成本被精确计算为58。

而任何容量违规不超过15的不可分割流，其成本均不低于60。

58＜60，这一数学不等式宣告了三十年猜想的终结。

与此同时，哥伦比亚大学博士Shouqiao Wang利用GPT-5.6 Sol与Codex工作流，在短短五天内成功破解了六道开放性的Erdős难题。

昨晚，新一届菲尔兹奖揭晓。

然而，数学界却流传着一个大胆的预测：这或许是「人类主导的最后一届」菲尔兹奖了。

三十年猜想，一朝被GPT-5.6 Pro攻破

AI证明过程全公开

此次，GPT-5.6 Pro的完整推理过程被毫无保留地公开。

Dmitry Rybin表示，AI推翻数学猜想已成为科技圈的新热点。

他坦言，自己曾在证明和证伪两个方向上投入数周时间思考。

他还幽默地补充道，这段人机对话本身就是一个绝佳的科技段子。

让我们深入剖析这道难题。Dinitz、Garg和Goemans曾证明过一个重要结论：

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

Goemans随后提出了一个更自然的猜想：能否在保持容量不超限的同时，也控制成本不上涨？

这个成本版猜想一直未被解决。

无论是2023年的arXiv论文还是2026年1月的文献，均将其列为开放问题。

几乎所有图流领域的专家都曾尝试攻克它。

GPT-5.6 Pro构建的反例模型如下：三个终端，需求分别为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创业公司联合创始人。

根据公开资料，Rybin拥有香港中文大学（深圳）机器学习博士学位。

更令人瞩目的是，他曾斩获国际大学生数学竞赛金牌和全国数学奥赛金牌。

Rybin真正声名鹊起是在2025年5月。

他提出了一种更高效的算法，用于计算矩阵与其转置的乘积。

这一操作虽抽象，却是统计学中的协方差矩阵、芯片设计和无线通信的基础，也是当前大模型训练中的核心计算。

同年10月，他又发表了一篇论文，将因果注意力的精确计算运算量减少了10%。

他的GitHub仓库名为「用OpenEvolve进行算法发现与优化实验」。

这位奥赛金牌得主在博士期间并未追逐大模型潮流，而是专注于如何利用机器辅助人类发现新算法。

北大数院华人校友

五日破解六大数学难题

在同一时间线上，另一件大事也在发生。

哥伦比亚大学博士Shouqiao Wang利用GPT-5.6 Sol与Codex，在五天内成功破解了六道此前被标记为开放的Erdős难题。

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

Shouqiao Wang将方法总结为三点。

选题时，只选择数学家正在讨论的题目，并排除那些与重大猜想紧密相关的题目。

明确「何为解决」：精确重述问题、明确完整证明所需确立的条件、列出哪些较弱结论不算数、指出题目特有的陷阱。

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

整个过程是一个闭环：尝试 → 失败 → 诊断 → 调整路线 → 撰写证明草稿 → 对抗审计 → 修补完善。

模型不断自我推翻、自我攻击，直至无法挑出实质性问题。

值得一提的是，其中一道题曾是陶哲轩的研究对象，至今未解。

对此，Shouqiao Wang轻描淡写地表示：我有数学背景，但这套工作流无需深厚的数学知识。

然而，他口中的「有些背景」其实含金量极高。

13岁时，当同龄人还在初中课堂时，他已越级参加滑铁卢大学欧几里得数学竞赛，并夺得世界第一。

紧接着的2016年和2017年，他又连续获得中国数学奥林匹克（CMO）银牌，并在2017年全国高中数学联赛中夺冠。

2018年，他以卓越天赋进入北大数院。

但故事并未按常规发展。

他并未留在纯数学领域，而是前往哥伦比亚大学商学院攻读决策、风险与运营方向的博士。

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

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

4个半小时攻破三十年悬案；5天破解六大难题。

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

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

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

你认为，AI距离获得属于自己的「菲尔兹奖」还有多远？

参考资料：

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

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

编辑：桃子