核心发现:大模型并非独立个体

视频开篇引用了约翰霍普金斯大学艾伦·尤尔(Alan Yuille)和拉马·切拉帕(Rama Chellappa)团队在 arXiv 发表的论文《通用权重子空间假设》(UWSH)。该研究抓取了 1200 多个已训练好的神经网络,包括 500个 Mistral-7B LoRA 模型、500个 ViT(视觉Transformer)、50个 LLaMA 模型,以及 GPT-2、Flan-T5、ResNet、StyleGAN2 等。这些模型任务迥异,从识别肿瘤切片到编写 Python 代码,再到生成诗歌。传统认知认为每个模型都是高维空间中独立的“流星”,但通过奇异值分解(SVD)分析,研究人员发现几乎所有模型的权重变化都被限制在一个狭窄的低维结构中。

“1100 多个完全不同的 AI 竟然全都在向着同一个低维形状坍缩。”

这一现象被称为“通用子空间”(Universal Subspace)。论文提出的提取算法为截断零中心共享高阶奇异值分解(Truncated Zero-Centered Shared HOSVD)。具体做法是将所有模型权重张量堆叠,减去均值进行零中心化,然后对每个维度做薄 SVD,仅保留累计解释方差达到预设阈值的方向作为共享因子。这意味着每个模型可以重建为均值加上它在这组因子上的投影核心。简而言之,不同模型的权重差异被拆解为少数几个主方向,每个模型只需记住自己在这些方向上的坐标。

澄清误区:16维并非智能的全部真相

社交媒体上广泛传播的“所有 AI 核心结构只需 16个主方向”的说法存在严重误导。视频指出,这一数字是人为设定的截断口径。虽然在前几个方向上奇异值呈现尖锐的幂律衰减,但在许多关键网络层(如深层注意力机制和全连接层),即使截取 40个维度,解释方差也仅在 35% 到 50%之间。剩下的 50%甚至更多方差分散在数百个微小却关键的长尾方向中。

“占方差 1% 的那些极其冷门的权重波动,恰恰可能是模型能够准确辨识毒蘑菇、写对最后一行关键代码的分水岭。”

此外,该研究有一个严格的前提:在共享的架构内部。这意味着结论仅适用于特定体系内的对比,而非跨架构的通约。例如,视觉模型 ViT 找到的子空间与语言模型 Mistral 的子空间在几何坐标上毫无对应关系,甚至同一模型内部第1层和第20层的子空间也互不相通。因此,“所有 AI 都是同一个模型”的说法忽略了架构依赖性和数据分布的独立性。

同源局限:LoRA微调的特殊性

研究中包含的 500个 Mistral 大语言模型均为 LoRA(低秩自适应)微调模型。LoRA 技术本身就是在原有大模型的旁路中插入两个扁平的低秩小矩阵,数学上规定模型更新必须限制在极少数的维度里(通常秩 r 设为 8或16)。由于这500个模型微调时挂载的都是同一个开源基座 Mistral-7B,它们的参数更新必然挤在原点附近的局部切空间里。

“同一座车库,不同的路线。这绝不代表他们开的是同一辆车。”

这种同源局限性意味着不能简单推导从零训练的全新模型也会落入相同子空间。视频引用数据工程师 Gul Saeed Khattak 的比喻指出,虽然模型最终停进同一个车库(子空间),但到达路径和具体车辆(功能表现)仍有差异。因此,LoRA 模型的收敛现象部分源于其技术架构对更新维度的硬性约束,而非所有智能形式的普适真理。

跨模态验证:不同架构下的普遍收敛

尽管 LoRA 模型存在同源局限,论文实验并未止步于此。团队从 HuggingFace 抓取了约 500个预训练 ViT,横跨医学影像、卫星遥感等领域,使用不同损失函数和优化器。此外还包括 177个 GPT-2、50个 LLaMA3-8B、Flan-T5,以及 20个 StyleGAN2 生成模型和 20个三维几何分布模型。

论文引入数据无关的评估指标——层级重尾指数 α 来判断适用性。StyleGAN2 评分仅为 0.0572,但重建后图像质量依然可比;9个从零训练的 ResNet-50 适用性评分仅 0.0183,但在分布外任务上仍保留了 77.91% 的准确率(原始为 81.00%)。这表明,尽管“所有 AI 都是同一个”是夸大谣言,但模型权重倾向于收敛到共享低维子空间的现象在不同模态和目标下稳定存在。这一发现挑战了传统认知,即不同任务、不同架构的模型应拥有独立的高维参数空间。

理论根源:海森矩阵与内在维度

为什么无关任务会挤向同一子空间?视频追溯至 Meta AI 2021年的经典论文《内在维度解释语言模型微调的有效性》。该实验冻结 3.5亿参数的全部参数,仅优化一个 d=200 维的随机子空间,即可恢复全参数微调 90%以上的性能。更惊人的是,预训练规模越大,所需内在维度反而越小。

这一现象的根源在于神经网络损失曲面的二阶曲率,即海森矩阵(Hessian matrix)。过参数化模型展现出极端的 Bulk-and-Outliers 谱分布:99%以上的方向曲率几乎为零(超级平原),只有孤立的十几个尖锐外点构成陡峭峡谷。反向传播的梯度更新受限于这些已被骨干架构塑形的低维路径。

“模型的预训练规模越大、见过的无标注数据越多,它微调所需的内在维度反而越小。”

论文定理 3.7 证明共享子空间会收敛到真实总体子空间,误差以 T 的负二分之一次方衰减。戴维斯-卡汉扰动界(Davis-Kahan bound)进一步控制了算子误差,特征值间隙越大,恢复越稳定。这为低维收敛提供了坚实的数学基础。

投影悖论:参数毁坏与功能保留的解耦

独立实践者 Steven A. Thompson 在开源项目 WIZORB 中进行了极限测试。他将一个强悍的代码 LoRA 适配器投影到提取的低维基底上,砍掉所有非基底参数。结果显示相对 L2 误差高达 98%到99%,权重矩阵面目全非。然而,接入 HumanEval 基准测试时,跑分竟然保留了几乎全部的增益。

对比实验显示,若使用随机基底投影,模型性能瞬间归零;唯独用提取的奇异方向,即使参数被砸得稀烂,功能依然稳如泰山。这种现象被称为投影悖论(Projection Paradox):高维权重空间里的参数精确性与宏观智能功能之间发生了严重解耦。

“在传统机械里,齿轮错位 1% 机器就得散架;而在人工神经网络中,你把参数毁坏 99%,只要守住了那几条核心动态通路,功能居然可以毫发无损。”

论文数据印证:500个 ViT 投影到16维子空间后,已见任务保留 94.1%准确率(原始 94.4%),未见任务保留 87.8%(原始 91.3%)。这种简并性(Degeneracy)揭示了模型参数结构与实际功能间超乎想象的冗余。

工程应用:大模型的 MP3 时刻?

如果多任务更新本质上是共享子空间内的系数调整,存储和计算逻辑将被改写。视频将其比作大模型工业的 MP3 时刻。过去定制500个行业微调模型需消耗巨额显存,未来只需常驻一套母体底座加一组通用基底,新任务仅需几千个轻如羽毛的系数标量。

论文实验显示:用通用子空间模型替换 500个 ViT 模型,内存压缩了 100倍。LoRA 路线实现 19倍效率提升。ViT 全量训练需 8600万参数,通用子空间路线仅需 1万。与 RegMean、Task Arithmetic 等6种无梯度合并方法相比,通用子空间在平均准确率上更高,且无需迭代调参。

“模型权重可以从以往的几个GB规模压缩到几百KB。这是目前已知第一次能把500个以上的ViT合并进单一子空间模型的工作。”

在 Stable Diffusion-XL 文生图任务中,CLIP评估分数甚至超过原始 LoRA,研究者推测投影过程起到了类似去噪的效果。这标志着多任务融合从黑盒参数平均转向有据可循的向量投影。

安全隐患:单作危机与结构盲区

尽管效率提升显著,该机制也揭示系统性隐患。如果大模型家族不可避免地滑入同一片低维盆地,它们继承的不仅是相似参数结构,还有完全相同的盲区、偏见和脆弱性。这在农业上称为“单作危机”(Monoculture):若全球农田种植同一种基因水稻,特定病毒即可导致系统崩溃。

在 AI 领域,若所有模型被 Transformer 架构锁死在同一低维盆地,大批看似独立的系统在底层可能承袭重叠的结构盲区。相同的对抗扰动可能穿透多道防线,特定逻辑漏洞可能在广泛部署中产生共振。

“表面上形态各异的模型在深层结构中或许并未走出预期中的多元路径。当所有模型都挤在同一个房间的时候,多样性本身就成了一种安全边际。”

结论

视频最终指出,《通用权重子空间假设》论文虽被媒体夸张解读,但其揭示的事实值得严肃对待:投入数千亿美元训练的大模型在数学结构上比表面看起来更接近。这种接近既是效率的来源(如极致压缩、快速融合),也是风险的来源(如同质化导致的系统性脆弱)。智能的演进究竟受制于这种收敛秩序,还是受困于当前主流架构轨迹,仍是未解之谜。研究界需警惕在追求效率的同时丧失多样性带来的安全边际。