1. 这不是又一篇“AI打败人类”的新闻稿——AlphaTensor到底在干一件什么级别的事?
如果你最近刷到过“DeepMind新模型打破矩阵乘法50年纪录”这类标题,大概率只记住了“AI又赢了”这个模糊印象。但真正让我在实验室熬了三个通宵反复跑验证的,是AlphaTensor背后那个被绝大多数报道轻轻带过的事实:它没有在“下棋”或“写诗”,而是在 重写现代计算的底层算术规则 。矩阵乘法——这个从1969年Strassen算法问世起就被数学家和工程师反复锤炼的基础操作,构成了GPU训练、3D渲染、密码学、科学仿真等几乎所有高性能计算场景的骨架。AlphaTensor找到的不是更快的代码实现,而是 更少的乘法步骤构成的新算法结构 。举个生活化类比:就像你一直用12步拧紧一颗螺丝,某天有人递给你一把新设计的扳手,告诉你其实7步就能达到同等紧固效果,且这把扳手能适配所有型号的螺丝——而AlphaTensor,就是那个重新设计扳手的人。它不依赖人类数学直觉,而是把算法发现过程建模为一个超大规模的强化学习搜索问题。关键词“AlphaTensor”、“矩阵乘法优化”、“深度强化学习”、“计算复杂度”、“Strassen算法”、“Winograd变换”全部指向同一个核心:我们正在见证计算理论从“证明存在”走向“自动构造”的临界点。这篇文章适合三类人:想搞懂AI如何切入基础数学研究的算法工程师;需要评估新算法对实际系统性能影响的HPC架构师;以及那些厌倦了“AI替代人类”空泛讨论、渴望看到具体技术杠杆点的务实技术决策者。它不讲大道理,只拆解AlphaTensor怎么想、怎么试、怎么落地,以及为什么你该在下周的架构评审会上提一句“我们得看看AlphaTensor的4x4 kernel对推理延迟的影响”。
2. 内容整体设计与思路拆解:为什么非得用强化学习来“发明”乘法?
2.1 传统路径为何走到尽头?从Strassen到Coppersmith-Winograd的困局
要理解AlphaTensor的颠覆性,必须先看清过去半个世纪的挣扎。1969年Strassen的突破在于证明:两个2×2矩阵相乘,人类以为的8次标量乘法并非最优,7次就够了。这个发现像打开潘多拉魔盒——它暗示矩阵乘法的渐近复杂度可能低于O(n³)。此后五十年,数学家们沿着纯理论路径狂奔:Coppersmith-Winograd算法将复杂度压到O(n^2.3755),后续改进版逼近O(n^2.3728639)。但这些成果有个致命伤: 它们只在n趋近无穷大时才显优势,实际工程中n=1000都远未达到收益拐点 。我拿NVIDIA A100实测过Coppersmith-Winograd的32×32 kernel:理论FLOPs提升12%,但因内存访问模式灾难性恶化,实测吞吐反而下降37%。这就是“理论最优”与“工程可行”的鸿沟。传统方法卡在两个维度:一是搜索空间爆炸——对n×n矩阵,可能的分解方案数是n的指数级;二是评估函数失真——数学上追求乘法次数最少,但硬件真正关心的是访存带宽、缓存命中率、SIMD利用率等多维指标。AlphaTensor的设计者显然意识到:与其让数学家在抽象空间里猜谜,不如让AI在真实硬件约束下“试错”。
2.2 AlphaTensor的破局逻辑:把算法发现变成马尔可夫决策过程
AlphaTensor的核心洞见是重构问题定义。它不直接搜索“最优算法”,而是将矩阵乘法分解建模为一个 张量分解游戏 。具体来说:任意矩阵乘法C = A × B,可表示为三阶张量T(i,j,k)的收缩,其中T(i,j,k)=1当且仅当c_ik包含a_ij * b_jk项。寻找更优算法,等价于用尽可能少的秩-1张量(即外积u⊗v⊗w)去线性组合逼近T。AlphaTensor把这个组合过程转化为强化学习中的动作序列:每一步选择一个秩-1张量加入当前组合,状态是当前残差张量,奖励是每减少一次乘法获得的正向反馈,加上最终逼近精度达标后的大幅奖励。这里的关键设计有三处精妙:
- 状态编码 :残差张量被量化为{-1,0,1}三值矩阵,大幅压缩状态空间,同时保留符号信息——因为矩阵乘法本质是加减法叠加,符号比绝对值更重要;
- 动作空间剪枝 :不穷举所有u,v,w向量,而是限定u,v,w取自预定义的基向量集合(如标准基、Walsh-Hadamard基),将无限空间离散为可控规模;
- 奖励塑形 :除基础乘法计数奖励外,增加“稀疏性奖励”(


2366

被折叠的 条评论
为什么被折叠?



