首页财产ai正文 GPT-5.6证伪30年图论料想 GPT-5.6 Pro证伪图论范畴30年料想，哥年夜博士Shouqiao Wang用其5天解6道开放Erdős问题。 2026-07-24 09:20 ·微信公家号：新智元 ASI启迪录 ASI启迪录 AI投资人解读· GPT-5.6 Pro证伪图论范畴三十年料想Dinitz-Garg-Goemans哥年夜博士Shouqiao Wang用GPT-5.6 Sol共同Codex事情流，5天解失6道开放Erdős问题。两位研究者数学配景深挚，结果显著。 · 跟着AI于科研范畴的运用不停拓展，将来可能会对于传统科研奖项评比尺度孕育发生影响。 总结：GPT-5.6 Pro及Shouqiao Wang的结果展示了AI于数学研究中的强盛能力，AI与人类科研的共生摸索将开启新纪元，但AI对于科研奖项评比尺度的潜于影响值患上存眷。
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问题。
昨晚，新一届菲尔兹奖已经宣布。
但此刻圈内，都于疯传一个说法：这多是「人类末了一届」菲尔兹奖了。
0一、一个30年料想，GPT-5.6 Pro证伪
这一次，与GPT-5.6 Pro的完备谈天记载，全被公然了。
Dmitry Rybin暗示，此刻「AI推翻老料想」已经经快成收集热梗了。
但他真的于乎这个问题，昔时于证实及证伪两个标的目的上都花了好几周去想。
他还有补了一句，这段人机对于话自己就是个绝世好梗。
先把这题是甚么说清晰。昔时，Dinitz、Garg及Goemans证过一个很美丽的结论：
只要存于一个满意容量限定的分数流，就必然存于一个不成支解流，价钱是容量至多被凌驾「最 年夜需求」那末多。
Goemans厥后加了一个很天然的料想：能不克不及于不超容那末多的同时，成本也别涨？
这个成本版一直没人做出来。
2023年的arXiv论文里它是open，2026年1月的文献里它还有是open。
险些所有弄图流的人都想过它。
此刻模子给出的反例长如许：三个终端，需求别离是1五、十、15。每一个终端都有一条「自制路」（零成本）及一条「贵路」（成本30）。
要害于在，三条自制路两两冲突。任选两条，就必然有一条边超容。
在是任何正当的走法至多只能用一条自制路，剩下两个终端必需走贵路，成本至少60。
而分数流可以按1/三、2/五、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做算法发明及优化的试验」。
一个奥赛金牌选手，博士时期没去追年夜模子，一头扎进了「怎么让呆板帮人搜出新算法」。
0二、北年夜数院华人校友，五天破解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年，带着满级先天，他推开了「仙人打斗」的北年夜数院年夜门。
但故事最有趣之处于在，他并无顺着脚本留于纯数的世界里。
如今的他，回身去了哥伦比亚年夜学商学院攻读决议计划、危害与运营标的目的的博士。
他将拆解数学方程的锋铓，投向了更具实际张力的前沿范畴：研究机制设计与博弈论。
0三、「人类末了一届」菲尔兹奖？
4个半小时，击碎30年悬案；5天，连破6道难题。
今晚行将宣布的菲尔兹奖，也许真的会成为纯人类智力的「绝唱」。
但这并不是结局，而是AI与人类共生摸索的「新纪元」初步。
从单兵作战到多Agent自立匹敌，AI逐渐成了真正能拓展认知界限的「科研搭档」。
你感觉，AI间隔拿下属在它的「菲尔兹奖」还有有多远？
【本文由投资界互助伙伴微信公家号：新智元授权发布，本平台仅提供信息存储办事。】【免责声明】：本文不组成任何投资建议。市场有危害，投资需审慎。若有任何疑难，请接洽（editor@zero2ipo.com.cn）投资界处置惩罚。
-lehu乐虎88国际