hiw3c 日报精选
Google News AI 网页快照

OpenAI改写人类科学史!「王的猜想」全维度告破,30年铁律ETH塌了 - 新浪财经

OpenAI改写人类科学史!「王的猜想」全维度告破,30年铁律ETH塌了 新浪财经

来源:Google News AI · finance.sina.com.cn

OpenAI改写人类科学史!「王的猜想」全维度告破,30年铁律ETH塌了

就在刚刚,OpenAI一口气连放三弹,官宣内部AI独立完成三大堪称「里程碑」新发现——

数学 : 证明全维度的「局部平滑猜想」,彻底终结困扰数学界百年的「挂谷猜想」;

计算机科学: 证伪了统治学界近30年的「指数时间假设」(ETH) ;

理论物理:给出了四维量子色动力学(QCD)与纯杨-米尔斯理论的严格数学存在性证明。

但三弹里,真正让圈内人倒吸一口凉气的,是「指数时间假设」(ETH)。过去三十年里, 全球计算机科学界都一致默认ETH是对的 。

这一被计算机科学家奉为铁律的假设,数百篇论文都建在它上面,如今直接被AI一夜推翻。

诺奖得主David Gross更是惊叹道,「对于不了解的人来说,ETH这一假设被证伪非常令人惊讶,影响太深远了」。

给到一堆逻辑条件,问有没有一组取值能让它们同时成立。它是NP完全问题的祖师爷,和「P与NP」这个千禧年难题血脉相连。

上世纪90年代末,Russell Impagliazzo和Ramamohan Paturi提出了「指数时间假设」:3-SAT这类问题,不可能在「亚指数时间」内被解决,最快也得是2的cn次方量级。

于是,过去近30年里,研究者不断把别的问题和它联系起来。图论、数据库、计算几何、计算生物学中,数百篇论文借助ETH划定算法能有多快的边界。

OpenAI公开的计算机论文,标题只有一个毫不含糊的结论——《 指数时间假设是错的 》。

这份67页手稿提出的算法,甚至要精确数出一个3-SAT公式有多少组满足条件的赋值。只要这个数量大于零,公式有没有解,也就一起回答了。

可以把3-SAT理解成一大堆互相牵制的开关规则:每条规则涉及三个取值为真或假的变量,任务是找到一种赋值,让所有规则同时成立。

难处在于,变量一多,可能的组合就会爆炸。ETH认为,在最坏情况下,求解时间绕不开随变量数增长的指数级代价。

论文主张把增长速度降到次指数级,距离多项式时间仍有差距,所以 反驳ETH不等于证明P=NP ,也不能直接翻译成所有难题明天就能秒算。

为了验证这个惊世骇俗的结论,OpenAI甚至直接把提出ETH的祖师爷本人请出山了!

Impagliazzo和Paturi,以及MIT著名复杂度理论大神Ryan Williams亲自挂帅。今早,Williams已公开给出论文链接和其中的时间复杂度主张。

同样,OpenAI内部AI仅用一天完成了证明。在10月16日得到自然语言反驳,17日完成Lean形式化。

这里的一天,是两种证明形态之间的转换间隔;决定结果能否站住的公开审查,现在正由这群专家接手。

现OpenAI理论计算机与数学家Sebastien Bubeck惊叹道,亚指数时间内的3SAT,是自己关注理论计算机科学20年来见过的最大惊喜。

先来看OpenAI的第一大发现,落在了纯数学最核心的腹地——谐波分析(Harmonic Analysis)。

在数学界,有一个著名的百年难题,叫做「挂谷猜想」(Kakeya conjecture)。

1917年,日本数学家挂谷宗一提出了一个问题:在平面上把一根长度为1的针掉个头,旋转180度,至少需要扫过多大的面积?

但1928年,数学家贝西科维奇给出了一个反直觉的答案:面积可以任意小,小到趋近于零。

问题没有就此结束,反而越挖越深。数学家转而追问:一个包含所有方向线段的集合,面积可以是零,但它的「维度」能不能也被压缩?

这个看似幼稚的问题,后来被证明连着调和分析、偏微分方程、数论和组合学的神经中枢。

熟悉的人都知道,2019年,Guth、王虹、张瑞祥证明了二维的局部平滑猜想;2025年,王虹与Joshua Zahl攻克三维挂谷猜想,轰动整个数学界。

这个猜想由Sogge在1991年提出,它想象不同方向的波在一个时刻聚到一起,局部强度突然冲得很高。

猜想要抓住的规律是,这种最极端的聚焦持续不了太久;把一段时间放在一起考察,平均后的集中程度,会比最坏瞬间温和得多。

这条规律牵动着一整片分析学。OpenAI称,模型用一种新的辅助偏微分方程,给出了所有空间维度n≥2的证明。

它是一座「母猜想」,一旦成立,挂谷猜想和Stein限制猜想会像多米诺骨牌一样全部倒下。

后者研究把傅里叶变换限制到某些曲面上时,仍能保持怎样的估计,与波如何传播、如何集中密切相关。

从10月18日拿到自然语言证明,到第二天完成Lean形式化验证,AI只用了一天。

1973年,他参与发现了渐近自由:在极短距离、极高能量下,强相互作用反而变弱。这一发现帮助确立量子色动力学,也让他与另外两位科学家分享了2004年诺贝尔物理学奖。

量子色动力学,简称QCD,描述夸克与胶子之间的强相互作用。纯杨–米尔斯理论则去掉夸克等物质场,保留胶子这类规范场的自相互作用。

物理学家早已用量子场论解释和计算大量现象,但要在四维时空里,把这些相互作用严格构造成数学对象,仍是艰深的基础问题。公式能给出成功的计算,与整个理论获得完整的数学构造,是两层不同的工作。

OpenAI称,这次模型沿着构造性量子场论中Balaban的方法,给出了某些四维规范场与费米子理论的存在性证明,范围包括QCD,以及一种包含标准模型规范场和费米子的大统一补全。

其中,纯杨–米尔斯理论的存在性,正好触及千禧年大奖难题的一部分。 Clay要求的完整答案还包括正质量间隙,也就是非真空激发的能量不能无限贴近真空;本次公告没有宣布解决这一部分。

与Gross一起入组的,还有Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。Jaffe当年与Edward Witten共同写下了这道千禧年问题的正式题述。

这份名单的分量,在于有人奠定过相关物理理论,有人亲手定义了悬赏问题,而现在,他们正在共同面对机器提出的新论证。

由于篇幅与复杂程度,OpenAI等到10月16日完成杨–米尔斯存在性的Lean形式化后,才推进这次合作。

半个世纪前帮助人类理解强相互作用的科学家,如今接过 AI 的答卷,继续追问物质世界最底层的数学结构。 这份跨越几代人的接力,已经足够让人感到科学史的重量。

也正因为结果太大,OpenAI这次把这三份手稿定位为「原始科研数据(raw research data)」。

数学结果公开AI手稿与Lean代码;计算机科学结果公开手稿与Lean代码并组建专家组;而物理天团决定暂不公开AI原始产物,由五位大师先闭门研读并亲自撰写阐述论文。

第三,认可阐释,工作组因其发展出的科学理解、撰写的阐释论文以及准确追溯前人思想而获得学术认可。

OpenAI向Simons Foundation出资500万美元,Simons基金会联合OpenAI、Anthropic共投入1500万美元资金与算力资源,资助研讨会、会议与专项计划,帮助科学家独立审查、理解并拓展AI生成的科学发现。

目前`openai/math`仓库已收录由OpenAI未公开内部模型产出的721篇手稿,归为373个结果族。模型在约4000个开放研究问题上进行评测,平均每个结果消耗约3小时ChatGPT Pro级别的深度思考算力,目前约42%的顶层结论已完成Lean形式化。

OpenAI研究员、宾大沃顿商学院及计算机/数学系教授苏炜杰在X上晒出了自己3年前的演讲PPT。

PPT第4页写着,完全信息工作(输入输出明确、边界清晰)最易受AI冲击,除了程序员、会计,还特别点名「也许还有理论计算机科学家、理论物理学家和(纯)数学家」。

相反,它将会从根本上重塑、而且已经在重塑各个学科,通过奖赏那些与真实世界挑战以及其他学科建立起深层连接的研究。

OpenAI总裁Greg Brockman在官宣里写道,AI已经开始帮助我们加深对宇宙的理解。

一旦成果通过验证,人类科研将进入「AI率先发现、人类验证理解」的新阶段。科学突破的速度与学术评价体系,都将迎来重塑。

VIP课程推荐

APP专享直播

热门推荐

24小时滚动播报最新的财经资讯和视频,更多粉丝福利扫描二维码关注(sinafinance)

股市直播

01 / 东鹏饮料集团:零容忍伤害民族感情行为,终止与姆巴佩全部合作

02 / 美媒:美军已准备好再打击伊朗 特朗普或中期选举后下令

04 / 史上最大IPO要来了!7位创始人身家均超130亿美元

05 / 300672,业绩暴增超5600%!10股业绩大增(附股)

06 / 张一鸣以6700亿元刷新中国首富财富纪录!《2026胡润百富榜》重磅发布!

08 / 姆巴佩发表涉中国不当言论,多家品牌终止合作,媒体评:吃中国饭,砸中国锅?姆巴佩,不配!

09 / Gucci卖不动了 开云今年将关掉至少125家门店

10 / 从伊朗战争、政府腐败到人工智能 美国中期选举九大议题角力激烈

01 / 财经早报丨特朗普称随时可能再打伊朗,机构:A股有望出现持续1个月上涨行情丨2026年10月26日

02 / 多位网友称iPhone Duo刚到手屏幕就裂开,开售两天有渠道已“破发”!门店外仍排长队,黄牛:报价乱七八糟

03 / 中国最大央企诞生:坐拥近10万亿资产,200万员工,利润不足40亿

04 / 操盘必读:影响股市利好或利空消息_2026年10月26日_财经新闻

06 / 清晨,全线拉升!美国、俄罗斯、乌克兰,传来大消息!

07 / WMO再发超强厄尔尼诺警告!机构扎堆调研的绩优受益股来了

10 / 未来车辆将被强制安装C-V2X?知情人士称“相关部门已启动强标制定工作”,智能汽车又迎新风口

02 / 江阴银行迎“90后”副行长入职已10年 业绩连续五年半增长不良率0.81%

03 / 央行设立新工具:应对非银机构大额赎回,有利于提升债市韧性

04 / 央行设立新工具!业内专家:属于应急安排,过度激进投机的“坏孩子”不可能得到救助

07 / 银行间债券发行迎重大调整,自融、返费、代持、虚假投标等暗门被堵

7X24小时

用户7763476192 : 再玩下去6000亿都守不住了,没人玩了

新浪简介 | 广告服务 | About Sina 联系我们 | 招聘信息 | 通行证注册 产品答疑 | 网站律师 | SINA English