DeepMind偷偷捅破了计算机科学的祖传天花板

2.371177。

老实讲,第一眼看到这个数字,大部分人估计会直接划走。

但在计算机科学圈,这串小数点后的数字,刚刚引发了一场地震。

Google DeepMind的Pushmeet Kohli在X上轻描淡写地发了条推文,宣布矩阵乘法指数 $\omega$ 的理论最快速度新纪录诞生。

之前的纪录是2.371339,现在被硬生生压到了2.371177以下。

别嫌这进步小。在这个被称为复杂性理论长期挑战的领域,小数点后挪动一位,往往要熬秃几代数学家。

搞AI的凭什么管起数学家的闲事

先说点大白话。

矩阵乘法是现代计算的基石。你用的每一个大模型,跑的每一次推理,底层全在疯狂做矩阵乘法。

而 $\omega$ 就是衡量计算机做矩阵乘法理论最快速度的指数。

这个值越小,意味着理论上的计算速度越快。几十年来,全人类最聪明的脑子都在试图把 $\omega$ 逼近极限值2。

有意思的是,这次破纪录的不是哪个数学天才在黑板上灵光一闪。

是AI自己下场,把AI赖以生存的底层基建给优化了。

DeepMind拉上学术圈,用Gemini驱动的编码代理AlphaEvolve,硬生生砸开了这个数学死结。

用魔法打败魔法的暴力美学

看看他们刚挂在arXiv上的论文摘要,信息密度极高。

AI配图

之前的学界主流玩法,是用一种叫组合损失分析的激光方法改进版。

但这种方法有个死穴,优化问题太复杂,算力扛不住。

DeepMind团队怎么干的?分三步走。

第一步,重新把优化问题公式化,把解题盘子做大。

第二步,直接上机器学习,设计了一套全新的优化算法。

第三步,也是最狠的一步,让AlphaEvolve对这个算法进行终极微调。

个人觉得,这套路挺流氓的。

人类数学家在死磕公式推导,AI直接在庞大的解空间里暴力搜索加启发式微调。

这就好比你在算微积分,旁边的人直接掏出了计算器。

评论区炸了这玩意儿到底有啥用

推文发了不到一天,浏览量逼近40万。

但评论区的风向,说实话,挺割裂的。

一半人在狂欢祝贺,另一半人满脸问号。

网友DforDouble和statistocrat94发出了灵魂拷问:

在哪个世界里,这会对真正做矩阵乘法的人有实际意义?到底有什么意义?

老实讲,这种质疑太正常了。

理论上限的突破,距离工程落地往往隔着十万八千里。现在的GPU架构,根本跑不到这个理论极限。

但更有趣的是那些民科发言。

有个叫TravisHyer的老哥信誓旦旦地说:

最大值可能正在接近e。我这么说完全没证据,但我相当自信我是对的。

看到这种评论,我只能说,自信是好事,但建议先去复习一下线性代数。$\omega$ 的极限公认是2,跟自然对数底数八竿子打不着。

真正的暗线是AI开始给自己修路了

表面上看,这是一篇关于算法和数据结构的硬核论文。

但你仔细品品背后的逻辑。

矩阵乘法是驱动人工智能的基础计算操作。而打破矩阵乘法速度纪录的工具,是Gemini驱动的AlphaEvolve。

这意味着,AI正在优化让AI自己跑得更快的底层数学逻辑。

以前我们总觉得,AI只是个在人类搭好的框架里跑数据的苦力。

现在,苦力开始自己画图纸、改地基了。

虽然这次只是理论界限的微小推进,还没法立刻让你的显卡帧率翻倍。但这套用AI寻找数学最优解的范式,已经彻底跑通。

当AI开始接管人类最引以为傲的底层理论突破时,留给人类数学家灵光一闪的空间,还有多少?

或者说,下一个被AlphaEvolve盯上的基础科学难题,会是什么?

【锐评】:AI嫌人类算矩阵太慢,干脆自己写算法把理论天花板捅了,下一步怕是要自己画芯片图纸了。

参考链接:
https://x.com/pushmeet/status/2089717134129565763