网易首页 > 网易号 > 正文 申请入驻

计算机领域天塌了,两大巨头同日宣布:世纪猜想ETH被证伪

0
分享至

10月26日,理论计算机圈直接炸了。

OpenAI和Anthropic——全球排名前二的AI巨头——几乎在同一天宣布:它们的AI模型,推翻了统治计算机科学界整整27年的"铁律"——指数时间假设,也就是ETH。

更让人后背发凉的是:Anthropic的论文里白纸黑字写着,核心算法由自家模型Claude在零人类干预下独立完成。

什么概念?人类顶尖科学家研究了几十年没撼动的地基,AI花了几天就给掀了。



OpenAI总部大楼——这次颠覆性成果的诞生地之一

这个ETH,到底是什么来头?

要说清楚这事,得先把时间拨回1999年。

那一年,两位计算机科学家Impagliazzo和Paturi提出了一个假设:像3-SAT这样的NP完全问题,变量数每增加一个,计算时间就得翻一倍。换句话说,解决这类问题,必然要花指数级的时间——2的n次方,变量多到一定程度,就算把全宇宙的原子都拿来当算力也不够。

这就是ETH,指数时间假设。

从那以后的27年里,全球计算机科学家几乎默认它就是对的。它像物理学里的万有引力定律,不需要证明,当成常识用就行。

据公开报道,过去有数百篇学术论文,都是在"ETH成立"这个大前提下做研究的。图论、组合优化、数据库理论、计算生物学、计算几何——好几个领域的论文,地基都打在这上面。

打个比方:如果黎曼猜想被推翻,倒的是数论的楼;那ETH被推翻,倒的就是整个计算复杂度和参数化算法这一片小区。



数学公式构成的抽象网格——ETH就是这片数字世界的地基之一

AI是怎么把它推翻的?

先说说原来的难度。

ETH说的是:3-SAT问题在最坏情况下,需要2的n次方量级的时间才能解出来。n是变量数量。n=100的时候,这个数字已经是天文数字了。

结果现在,OpenAI和Anthropic各自拿出了一套算法,说:不对,不用那么久。

OpenAI给出的运行时间是2的O(n/√log n)次方。Anthropic更狠,直接给出了2的O(n·log log n / √log n)次方——而且它解的还不是普通的3-SAT,而是更难的#3-SAT,连"有多少种解"都能算出来。

这两个时间复杂度,在数学上都叫"亚指数时间"。

什么意思?原来大家觉得这类问题的难度下限就是指数级,现在AI说:不对,下限没那么高,还能往下压。

而且一压就是连锁反应——据论文摘要,这次成果不仅推翻了ETH,连带着SETH、Gap-ETH、NSETH这三个相关的强假设,一起被掀翻了。

等于说,AI不是拆了一块砖,是把整面承重墙给卸了。



二进制代码构成的数据流——AI在亚指数时间里找到了原来被认为不存在的路径

最吓人的不是结果,是谁做出来的

如果是某个图灵奖得主花了十年证明了ETH是错的,圈内人顶多震惊一下。

但这次不一样。

OpenAI的说法是:10月16日,它们的模型自己找到了ETH的自然语言反证;第二天,就在Lean证明助手里完成了形式化验证。整个过程,人类只是在旁边看着。

Anthropic更直接。它们在仓库里写得明明白白:这个确定性算法是Claude独立设计的,解决了#3-SAT这个比3-SAT更难的计数问题。

注意"零人类干预"这五个字。

过去AI做科研,大家的认知是:人类提问题、人类定方向,AI当个高级计算器帮忙算。现在倒好,问题是人类提的,但怎么解、用什么思路、走哪条路径——全是AI自己想出来的。

OpenAI研究员、原微软杰出科学家Sebastien Bubeck说了一句话:这是他20年来见过的最大惊喜。

你品品这个语气。不是"又一个新算法",是"20年最大惊喜"。在理论计算机这种十年出一个大成果的领域,这个评价的分量,懂的都懂。



AI正在独立完成人类科学家几十年没搞定的难题

这事儿跟普通人有啥关系?

短期来看,学术界先地震。

几百篇论文的前提没了,很多结论要重新审视。就像你盖了一栋楼,住了20年,突然有人说地基是沙子做的——你慌不慌?

中期来看,最受冲击的可能是密码学。

现在很多加密算法,安全性建立在"某些问题很难算"这个假设上。如果ETH被证伪了,那原来觉得"根本算不动"的问题,是不是其实没那么难?这个问号一旦打出来,整个密码学的安全评估体系都得重过一遍。

长期来看,好消息是:优化问题、数据库查询、AI模型训练——这些原来觉得"计算量太大搞不定"的场景,可能都有了新的提速空间。

当然,也别激动太早。ETH被证伪,不意味着所有难题都能秒解。它只是把"难度的下限"往下拉了一截,就像原来以为天花板在三楼,现在发现二楼还有门——但离一楼还有很远。



算力网络的未来——算法的边界,正在被AI重新定义

2022年ChatGPT刚出来的时候,大家说AI是个聪明的工具,能写文章、能写代码、能画画。

现在呢?它开始改写人类科学的地基了。

过去我们总觉得,基础科学突破得靠人类顶尖大脑,得靠诺奖级别的科学家坐冷板凳坐十年。结果AI用了几天,就把一个悬了27年的问题给解决了——而且没人教它怎么做。

最值得警惕的,不是AI算得快。

是它开始独立找思路了。

当工具开始自己思考问题的时候,我们到底是在用它,还是在被它带着走?这个问题,可能比ETH本身,更值得每个人想一想。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
奔驰新车上市:10月29日正式开售,59.90万元

奔驰新车上市:10月29日正式开售,59.90万元

科技阿维
2026-10-29 22:37:56
出大事了!台海上空激烈对峙,台妄图拦截我军机,解放军硬气回怼

出大事了!台海上空激烈对峙,台妄图拦截我军机,解放军硬气回怼

共工之锚
2026-10-30 00:26:07
孙心然救赛点进广网八强,奥运冠军普伊格点出萨巴频繁崩盘原因

孙心然救赛点进广网八强,奥运冠军普伊格点出萨巴频繁崩盘原因

网球之家
2026-10-29 21:08:29
消失已久的赖昌星侄子赖文峰又露面,这次不是带货,而是为杨钰莹

消失已久的赖昌星侄子赖文峰又露面,这次不是带货,而是为杨钰莹

侦姐有料
2025-06-08 12:07:04
菲防长一语惊人:不管谁当美国总统,中方对菲开战的可能性都不大

菲防长一语惊人:不管谁当美国总统,中方对菲开战的可能性都不大

通鉴史智
2026-10-27 09:57:47
人民日报定调!中文主场绝不能丢!在中国,绝不允许英文取代中文

人民日报定调!中文主场绝不能丢!在中国,绝不允许英文取代中文

徐醇老表哥
2026-10-28 19:15:20
发现中国一个奇怪的现象:只要有公婆帮扶的家庭,儿媳都忙着回公婆家;而公婆不帮的家庭,儿媳早已断联!

发现中国一个奇怪的现象:只要有公婆帮扶的家庭,儿媳都忙着回公婆家;而公婆不帮的家庭,儿媳早已断联!

心理观察局
2026-08-01 07:10:30
一夜输1亿,一瓶酒50万,2亿豪车买来当玩具,父子败光百亿家产!

一夜输1亿,一瓶酒50万,2亿豪车买来当玩具,父子败光百亿家产!

青梅侃史啊
2026-10-21 14:24:46
芋头大量上市,提醒:二者不要同时吃,吃芋头的禁忌,要了解清楚

芋头大量上市,提醒:二者不要同时吃,吃芋头的禁忌,要了解清楚

小茉莉美食记
2026-10-29 15:39:02
徽剑被看见之后,徽剑案的审判细节也该被看见

徽剑被看见之后,徽剑案的审判细节也该被看见

迷世书童
2026-10-28 13:50:36
俄罗斯遭杀猪盘,和特朗普谈妥的事,民主党下死手,普京一无所获

俄罗斯遭杀猪盘,和特朗普谈妥的事,民主党下死手,普京一无所获

咸鱼金脑袋
2026-10-29 22:11:58
供应商称“爆单了”!南北大众电车接连订单超3万,谁最慌?

供应商称“爆单了”!南北大众电车接连订单超3万,谁最慌?

明镜pro
2026-10-29 09:22:48
安徽23岁女孩 “夏夏” 去世,父母断联五年,最后两天吃甘蔗和糊糊

安徽23岁女孩 “夏夏” 去世,父母断联五年,最后两天吃甘蔗和糊糊

趣味萌宠的日常
2026-10-30 00:28:57
一双致敬高中的球鞋,让妻子在赛后发了条动态

一双致敬高中的球鞋,让妻子在赛后发了条动态

日常碎碎念啊
2026-10-30 01:22:16
CCTV5直播!U17国少冲击世界杯首胜,1名国脚+4名留洋球员,取胜概率高达90%

CCTV5直播!U17国少冲击世界杯首胜,1名国脚+4名留洋球员,取胜概率高达90%

后仰跳投绝杀
2026-10-28 18:51:49
若是不出意外!2026年11月起,猪肉,鸡蛋,蔬菜或迎来“大变局”

若是不出意外!2026年11月起,猪肉,鸡蛋,蔬菜或迎来“大变局”

兴趣知识
2026-10-29 03:00:29
哈登、库里、德罗赞三大老将总得分差距越拉越大!

哈登、库里、德罗赞三大老将总得分差距越拉越大!

衔春信
2026-10-29 18:30:29
张天爱直播回应马甲线消失的原因,让人心疼,还承诺马甲线会回来

张天爱直播回应马甲线消失的原因,让人心疼,还承诺马甲线会回来

观鱼听雨
2026-10-28 23:44:25
我国将被淘汰的四样电器,千万别买了,尤其第2个,你家可能就有

我国将被淘汰的四样电器,千万别买了,尤其第2个,你家可能就有

辉哥说动漫
2026-10-28 16:07:20
6-0,8-7!U17女足世界杯冷门扎堆!中国女足赢球就进八强创历史

6-0,8-7!U17女足世界杯冷门扎堆!中国女足赢球就进八强创历史

刘蕳爱下厨
2026-10-29 19:06:44
2026-10-30 01:40:49
呼呼历史论
呼呼历史论
分享有趣的历史
754文章数 18546关注度
往期回顾 全部

科技要闻

MacBook终于能触屏了:22999元起

头条要闻

媒体:守住不该守住的底盘 77岁的内塔尼亚胡逃出生天

头条要闻

媒体:守住不该守住的底盘 77岁的内塔尼亚胡逃出生天

体育要闻

超级黑马!球队不败 29岁的他得分榜前三

娱乐要闻

白百何被曝和二婚丈夫离婚 和男生逛街

财经要闻

两大娱乐巨头,谈崩了

汽车要闻

标配宁德时代电池 智己LS8 NEO纯电预售24.98万起

态度原创

教育
健康
数码
亲子
军事航空

教育要闻

学生无限容错,教师无限担责?学生起诉三名老师,原因让人不能相信,法院驳回诉讼

查不出猝死风险?可能是项目没做对

数码要闻

MacBook Pro首次支持触控!苹果新品又来了

亲子要闻

这水是一点不浪费

军事要闻

万斯致信伊朗安全高官试图重启谈判

无障碍浏览 进入关怀版