三十年图论悬案,一夜之间轰然倒塌。就在今日,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日

10:51
上周,AI行业都在热议一个方向,但大多数人只看到了一半。7月15日,前OpenAI CTO Mira Murati在旧金山发布了Thinking Machines Lab的首个模型Inkling。伴随着20亿美元融资、975B参数和100人精英团队,硅谷最受关注的AI创业公司终于亮出了底牌。 几乎同一时间,强化学习之父、2024年图灵奖得主、年近七旬的Ric...
10:50
2026年7月17日至20日,世界人工智大会如期举行。尽管暑气逼人,气温高达35摄氏度,但丝毫没有阻挡参会者的热情。展馆内人头攒动,大模型、人形机器人、智能终端等前沿成果琳琅满目,空气中弥漫着AI加速融入现实的浓厚气息。参会者在各展台间穿梭,日行两三万步,耳边充斥着关于机器人动作日益丝滑以及00后创业者层出不穷的讨论。置身现场,最直观的感受是AI的边界正在不...
10:50
在最新一次深度访谈中,英伟达CEO黄仁勋围绕AI的未来、中美博弈、开源与闭源模型、就业焦虑以及技术监管等议题,进行了长达一个多小时的坦诚对话。作为全球市值最高的科技巨头掌舵人,他的见解既犀利又充满洞见。 以下是对话全文整理: 一、谈中美竞争:开放优于封锁 当被问及中国可能加强AI模型和半导体出口管制的报道时,黄仁勋的第一反应是:“我希望不会。”他指出一个常被...
10:50
凭借K3模型的突出表现收获马斯克的关注后,Kimi又得到资本市场的热捧。 据21世纪经济报道消息,国产大模型企业月之暗面计划在8月启动上市前最后一轮融资谈判,目标投前估值500亿美元(约合3385亿元人民币)。公司预计在短期内将完成一轮投前估值315亿美元融资,结束后即刻洽谈Pre-IPO轮。其已向投资人发送上市议案,预计最快6个月内有望完...
10:50
DeepSeek 创始人梁文锋在一场长达四小时的投资者交流会上,分享了他对人工智能的深刻见解。他强调,DeepSeek 的唯一目标是实现 AGI,而非成为下一个超级应用或与科技巨头竞争。梁文锋的核心理念可以概括为“克制”——越克制,越有可能成功。 基于交流会的内容,我们梳理出十个关键问题,以直观呈现梁文锋的思考路径: **问题一:面对巨大的 AI 财富,为何...
10:50
AI军备竞赛的隐形成本远超财报数字所呈现的表象。据《日经亚洲评论》最新披露,美国五大科技巨头——Alphabet、微软、亚马逊、Meta以及甲骨文,在最近一个季度内背负的“隐形”债务总额已突破1.65万亿美元。这主要源于AI基础设施领域不透明的巨额融资安排。值得注意的是,这组隐形债务在过去四年间激增了8倍。若将这部分与财报中正式披露的1.35万亿美元债务相加...
10:50
鼓狮财经7月24日讯,周四特斯拉股价遭遇重挫,市值一夜蒸发逾2000亿美元,创下该公司历史单日市值缩水纪录。这一暴跌主要源于投资者对马斯克“不惜一切代价加快投入”言论的担忧,认为公司财报无法支撑如此庞大的资本开支计划。 截至收盘,特斯拉股价大跌14.5%,创下自2025年3月10日以来的最大单日跌幅。当日市值蒸发2145亿美元(约合1.45万亿元人民币),目...
10:50
鼓狮财经7月24日讯,不少市场评论员已宣告“科技七巨头”的统治时代落幕。资管公司Smead Capital Management的创始人、巴菲特式的价值投资者比尔·斯米德便是最新发声者。他不仅认为这一时代终结,更悲观地指出,这七家公司恐将成为标普500指数的“累赘”,拖累整体表现。 所谓“科技七巨头”,指的便是英伟达、苹果、谷歌母公司Alphabet、微软、...
10:14
没有意外,也没有反转,果然是王虹、邓煜。就在刚刚,美国费城,国际数学家大会(ICM)现场,四年一度的菲尔兹奖名单公布,中国双子星双双在列,创造了中国数学领域的新历史。1991年出生的王虹,正式成为菲尔兹奖历史上第三位女性得主。一同创造历史的是王虹的北京大学2007级同届校友邓煜。 虽然前有1982年获奖的丘成桐,后有2006年获奖的陶哲轩,但王虹和邓煜,是中...
10:14
3D打印爱好者常有此困扰:想为耳机设计一个分层收纳盒,翻遍模型库也找不到适配尺寸的现成方案。市面上现有的解决方案,往往各有硬伤:人工建模产能低、成本高,难以满足工业与创客两端的需求;而通用AI生成的3D模型则更像是一具“空壳”,缺乏尺寸标注和装配逻辑,难以直接用于仿真或打印。 就在行业对结构化、可编辑的物理3D数据极度渴求之际,一家名为比特无限的年轻公司浮出...
10:14
过去半年,面对高昂的AI投入成本,互联网大厂开始集体转向。百度撤回了token新规,字节跳动开始严审AI投入的回报,京东和阿里也传出压缩非核心AI团队的消息。这并非AI赛道遇冷,而是互联网公司终于在狂奔之后开始低头算账。模型越来越贵,变现路径却远不如预期,烧钱的速度正在触碰管理层的容忍边界。这是不容忽视的趋势。互联网算AI经济账,本质是回答一个问题:花出去的...
10:14
央行6月资产负债表(BS)显示其恢复扩表。伴随央行态度转松,我们预计第三季度(Q3)超储总量修复的概率较高,但需警惕Q3可能是年内政府债供给相对高点,银行承接能力仍待评估。央行流动性投放回归季节性均值,下半年宽货币空间值得留意。此外,鉴于央行持债余额持续下行,为配合政府债发行加力,下半年加大买债操作的可能性更高。 **央行6月资产负债表:恢复扩表** 从资产...