三十年图论悬案,一夜之间轰然倒塌。就在今日,GPT-5.6 Pro成功证伪了困扰图论界三十年的Dinitz-Garg-Goemans猜想。他给出的证据干脆利落:一张图的分数流成本仅为58,而任何容量违规不超过15的不可分割流,成本至少为60。58小于60,一个悬了三十年的图论猜想就此倒下。

同一时间,哥大博士Shouqiao Wang利用GPT-5.6 Sol配合Codex工作流,在五天内解开了六道此前标记为开放的Erdős问题。今晚即将公布的菲尔兹奖,或许真的会成为纯人类智力的“绝唱”,但这并非终局,而是AI与人类共生探索的“新纪元”开端。

**01、三十年猜想,GPT-5.6 Pro证伪**

Dmitry Rybin向公众展示了与GPT-5.6 Pro的完整聊天记录。他表示,现在“AI推翻老猜想”已经快成了网络热梗,但他确实为此花了数周时间。Rybin补充说,这段人机对话本身就是个绝世好梗。

Dinitz、Garg和Goemans曾证明一个漂亮的结论:只要存在满足容量限制的分数流,就一定存在一个不可分割流,其代价不超过容量超出的最大需求。Goemans后来提出了一个自然的猜想:能否在不超容的同时,也保持成本不涨?这个成本版猜想一直无人攻克。

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只说了三句话:
第一句:构造一个反例,你要做出突破,找一个结构化的反例。
第二句:继续找,要有从问题结构深层理解中得来的清晰策略。
第三句:部分结果够了,我们直接给出一个完整的、无条件的反例。

Rybin,这位拿过奥赛金牌、目前是一家一亿美元AI创业公司联创的博士,在个人介绍中提到他曾获香港中文大学(深圳)机器学习博士学位,以及国际大学生数学竞赛金牌和全国数学奥赛金牌。真正让他在圈内出名的,是2025年5月那篇关于更快速计算矩阵乘以转置的论文——这一操作是统计协方差矩阵、芯片设计、无线通信的基础,也是训练大模型的关键。紧接着10月,他又发了一篇论文,让因果注意力的精确计算减少了10%的运算。他的GitHub仓库名为“用OpenEvolve做算法发现和优化的实验”。一个奥赛金牌选手,博士期间没追大模型,而是钻研“怎么让机器帮人搜出新算法”。

**02、北大数院华人校友,五天破解6大难题**

同一时间线上的另一件事同样引人注目。哥大博士Shouqiao Wang表示,自己用GPT-5.6 Sol配合Codex,五天内解掉了六道此前标记为开放的Erdős问题。他总共尝试了约十三道题,成功率46%,其中一道单题连续运行了三十二个小时。

他将方法拆解为三条:
第一,选题过程只挑数学家正在讨论的题,再用AI把那些与重大猜想死死绑在一起的题目排除掉。
第二,自己定义“什么才算解决”:精确重述问题、写清一个完整证明必须确立什么、列出哪些较弱的结论不算数、点名这道题特有的坑。
第三,要求独立的对抗Agent去挑战每一个候选结论。

整个过程是一个死循环:尝试→失败→诊断→换路线→写证明草稿→对抗审计→修补。模型反复推翻自己、攻击自己的论证,直到再也挑不出实质问题。

值得一提的是,其中一道题目还是陶哲轩曾经研究过的,至今未解。对此,Shouqiao Wang轻描淡写地带了一句:“我有数学背景,但这套工作流不需要很深的数学知识。”但他口中所谓的“有些背景”,含金量稍微有些超标。

十三岁那年,当同龄人还在初中课堂里按部就班时,他越级报名了滑铁卢大学欧几里得数学竞赛,拿下世界第一名。紧接着的2016和2017年,他又连摘两枚中国数学奥林匹克(CMO)银牌,并顺理成章地将2017年全国高中数学联赛的第一名收入囊中。2018年,带着满级天赋,他推开了“神仙打架”的北大数院大门。但故事最有趣的地方在于,他并没有顺着剧本留在纯数的世界里。如今的他,转身去了哥伦比亚大学商学院攻读决策、风险与运营方向的博士。他将拆解数学方程的锋芒,投向了更具现实张力的前沿领域:研究机制设计与博弈论。

**03、“人类最后一届”菲尔兹奖?**

四点半,击碎三十年悬案;五天,连破六道难题。今晚即将公布的菲尔兹奖,或许真的会成为纯人类智力的“绝唱”。

但这并非终局,而是AI与人类共生探索的“新纪元”开端。从单兵作战到多Agent自主对抗,AI逐渐成为了真正能拓展认知边界的“科研搭档”。你觉得,AI距离拿下属于它的“菲尔兹奖”还有多远?

最新快讯

2026年07月24日

12:34
**标题:联想以混合式AI护航世界杯,完成从“中国企业在场”到“中国AI上场”的跨越** **引言:零故障护航,共享绿茵盛宴** 7月20日,随着西班牙队再度捧起大力神杯,2026年美加墨世界杯正式落下帷幕。作为本届世界杯的官方技术合作伙伴,联想凭借混合式AI技术实现了赛事全程零故障护航,并将前沿科技与普惠福利相结合,与全球亿万球迷共同分享了这场绿茵盛会。 ...
12:27
7月16日,茹立云正式辞去百川智能总裁一职。这一消息在市场上并未引发巨大轰动,毕竟在过去一年半里,百川智能的联合创始人已相继离职,舆论对此早已感到疲惫。然而,当茹立云的名字最终出现在离职名单上时,敏锐的观察者意识到,一件标志性事件发生了。他是百川的最后一个联合创始人,也是实质上的二号人物;他是1998年浙江省理科状元,清华计算机系本硕博连读的高材生,更是王小...
12:27
7月23日深夜,四年一度的数学界最高荣誉菲尔兹奖揭晓,两位中国籍数学家王虹与邓煜同时折桂。两人均为北京大学数院2007级本科校友,分别攻克了困扰数学界百年的三维挂谷猜想与狭义希尔伯特第六问题。这是中国本土培养的数学家首次在同一届菲尔兹奖中双双获奖。颁奖结果公布后不久,丘成桐在清华公开活动中表示,诚挚邀请王虹、邓煜回清华任教,求真书院随时欢迎。 这并非丘成桐第...
12:27
Claude Opus 5提前曝光,网友们已经对它进行了全方位的实测。 网友 @chetaslua 发布的一段3D生成场景中,一台弹弓正对城墙发射石弹,画面左侧甚至还挂着“弹道张力”、“箭矢重量”等参数卡片,各种细节刻画得淋漓尽致。他表示自己使用Opus已久,从未见过如此细腻的画面,即便是多截几张图也无法复刻出同样的效果。类似的震撼反应这两天不断涌现,甚至有...
11:58
千问最近宣布它能帮我拼九宫格了,而且还是多主题的。其实,阿里刚刚发布了一款名为 Qwen-Image-3.0 的新生图模型。官方宣称它不仅能准确生成仿真 UI 界面,还能帮老师一键生成排版精良的期末试卷,设计师也能用它快速输出海报、分镜和网页原型,省去搭建框架的时间。更夸张的是,它能在单张图中同时呈现 9 份不同主题的知识图解,并自动整齐排布,兼顾信息密度和...
11:54
鼓狮财经7月24日讯,当地时间7月23日,英特尔发布了2026财年第二季度财报并召开了分析师电话会议。在AI算力需求爆发的背景下,公司营收创下十五年来最快增速。 **核心观点:供需失衡与产能瓶颈** 财报会上,华尔街分析师围绕制程路线、资本开支及行业竞争等议题展开提问。英特尔管理层反复强调,当前行业核心矛盾是需求远大于供给,晶圆、基板、内存及先进封装四大环节...
11:25
据鼓狮财经7月24日报道,西班牙马德里自治区于23日爆发多起山林火灾。西班牙内政部当晚宣布,马德里自治区及阿维拉省正式进入“国家紧急状态”。 此次火势由托莱多省蔓延至马德里自治区,并波及普拉多、弗雷斯诺和圣马丁-德巴尔代格莱西亚斯等村镇,目前托莱多省的火情仍在持续。受此影响,当地多条道路实施交通管制,约1万人已根据应急措施被疏散。 目前,数十支地面消防队伍正...
11:25
据鼓狮财经7月24日报道,近日,美国六名女性联合利华提起诉讼,指控其旗下TRESemmé(中文译名“炫诗”)洗发水及护发素导致使用者出现脱发、发质稀疏、过敏及头皮不适等副作用。原告方指出,罪魁祸首是产品中的DMDM乙内酰脲防腐剂,并指责联合利华明知该成分风险却未加整改。值得注意的是,该品牌已进入中国市场,此前曾由李宇春和蒋欣代言。针对相关争议,京东全球购客服...
11:25
鼓狮财经7月24日讯,据《华盛顿邮报》援引多名美政府官员消息报道,特朗普政府正考虑在西非国家马里采取军事行动,以打击一个与“基地”组织关联密切的极端组织。该组织名为“支持伊斯兰教和穆斯林”组织,于2017年由“基地”组织多个分支合并组建。今年4月,该组织与马里分离主义武装“阿扎瓦德解放阵线”协同发动袭击,导致时任马里国防部长萨迪奥·卡马拉身亡。本月18日,这...
11:25
鼓狮财经7月24日消息,总部位于英国的温沃德海事分析公司近日发布卫星图像分析称,霍尔木兹海峡附近有两艘油轮疑似发生漏油,形成的油污带正漂向伊朗拉腊克岛和格什姆岛沿岸。据悉,东侧涉事油轮为20日在该海域遇袭起火的“卡沃马利亚斯”号。分析认为,鉴于该船当时处于空载状态,泄漏物或为船用燃油,而非原油或其他货物。