引言:一场安静的革命
2017年,Vaswani等人发表论文《Attention Is All You Need》,提出Transformer架构时,恐怕很少有人能预见这座“注意力殿堂”将如何重塑整个AI世界。七年过去了,从自然语言处理到计算机视觉、蛋白质折叠、机器人控制,Transformer已无处不在。它不仅仅是一个模型架构,更是一种通用计算范式。本文将系统梳理Transformer架构的演进脉络,分析其核心技术原理,并展望未来可能的发展方向。
第一部分:Transformer原始架构解析
从RNN的困境说起
在Transformer出现之前,序列建模的主流方案是RNN及其变种LSTM和GRU。这些架构存在三个根本性缺陷:
计算不可并行:RNN必须按时间步顺序计算,h(t)依赖h(t-1),这使得GPU的并行计算能力无法充分发挥。
长距离依赖衰减:虽然LSTM通过门控机制缓解了梯度消散问题,但在处理超过200-300个token的序列时,远距离信息传递仍然困难。
信息瓶颈:无论序列多长,RNN最终都压缩为一个固定维度的隐藏状态向量,信息丢失不可避免。
自注意力机制的数学本质
Transformer的核心是“自注意力“(Self-Attention)机制。其数学表达简洁而优美:
Attention(Q, K, V) = softmax(QK^T / √d_k) × V
其中Q(Query)、K(Key)、V(Value)都是从输入序列线性投影而来。直觉上可以这样理解:每个位置的token都会“询问“所有其他位置的信息有多相关(Q×K),然后根据相关性权重从所有位置的Value中聚合信息。
多头注意力(Multi-Head Attention)则将这个过程并行执行多次,每次在不同的表示子空间中学习不同的注意力模式:
MultiHead(Q,K,V) = Concat(head_1,...,head_h)W^O
head_i = Attention(QW_i^Q, KW_i^K, VW_i^V)
位置编码的巧妙设计
自注意力本身是排列不变的(permutation invariant),即打乱输入顺序不改变输出集合(虽然会改变对应关系)。Transformer通过正弦位置编码注入序列顺序信息:p style="font-family:monospace;background:#f4f4f4;padding:12px;border-radius:4px;">PE(pos,2i) = sin(pos / 10000^(2i/d_model))
PE(pos,2i+1) = cos(pos / 10000^(2i/d_model))
这种编码的优雅之处在于:PE(pos+k)可以表示为PE(pos)的线性变换,这意味着模型能够学习相对位置关系。同时也允许模型外推到比训练时更长的序列。
第二部分:架构演进之路
2.1 编码器-解码器分野:三条路线
原始Transformer的Encoder-Decoder架构在实际应用中分化为三条路线:
Encoder-Only(BERT路线):通过掩码语言模型进行双向预训练,“理解“能力强,适合分类、抽取、匹配等理解类任务。代表:BERT、RoBERTa、DeBERTa。
Decoder-Only(GPT路线):自回归生成,只能看到左侧上下文,“生成“能力强。从GPT-3开始展现出惊人的涌现能力。代表:GPT系列、LLaMA、Qwen。
Encoder-Decoder(T5路线):保持原始结构,在翻译、摘要等“理解+生成“任务上均衡。代表:T5、BART、mT5。
值得注意的是,2024年以来,Decoder-Only架构逐渐成为绝对主流。即使原本使用其他架构的团队也逐步转向Decoder-Only,这主要是由于其训练简洁性、更好的few-shot能力以及统一架构的工程便利。
2.2 注意力效率优化:O(n²)
标准自注意力的时间和空间复杂度都是O(n^2)(n为序列长度),这是Transformer处理长文本时的主要瓶颈。为此发明了多种高效注意力变体:
稀疏注意力:限制每个token只关注局部窗口内的token(Longformer的滑动窗口)、结合局部和全局注意力(BigBird)或基于数据依赖的动态稀疏(Reformer的LSH注意力)。
线性注意力:将softmax(QK^T)V改写为Q(K^TV),利用矩阵乘法结合律将复杂度降为O(n)。代表工作包括Performer(随机特征映射)、Linear Transformer等,但通常以牺牲少量精度为代价。
Flash Attention:不是改变算法复杂度,而是通过IO感知的精确计算方法,避免O(n^2)的注意力矩阵实际写入HBM。这种方法在数学上完全等价于标准注意力,但在A100上实现2-4倍的加速,已成为当前的事实标准。
2.3 归一化与残差连接的演进
一个看似微小的架构改动产生了巨大影响。原始Transformer在每个子层后应用LayerNorm(Post-Norm):
output = LayerNorm(Sublayer(x) + x)
GPT-2开启了Pre-Norm潮流:
x = x + Sublayer(LayerNorm(x))
output = x(或最后加一次LayerNorm)
Pre-Norm的核心优势在于:残差连接中的“干净路径“使得梯度可以直接回传,训练更稳定,无需繁琐的warmup策略。但代价是模型能力略有下降(部分研究认为Post-Norm最终性能更高)。近年来出现了DeepNorm等折中方案。
2.4 激活函数:从ReLU到SwiGLU
Transformer的FFN子层经历了三次进化:
第一代:ReLU激活。简单有效,但在负半轴梯度为零。
第二代:GELU激活。GPT-2、BERT时期的选择。f(x) = xΦ(x),是ReLU的光滑近似,“随机正则化“的直觉更优雅。
第三代:SwiGLU激活。LLaMA系列推广了这一激活方案,将FFN扩展为门控结构:output = (Swish(xW_1) × xW_2)W_3。参数量增加约50%,但表达能力显著增强,成为当前LLM的标配。
2.5 位置编码革命:RoPE与xPos
绝对位置编码(Transformer原始方案)和相对位置编码(T5的bias方案)各有局限。2021年提出的RoPE(Rotary Position Embedding)统一了两者的优点:
通过旋转位置编码,使得两个位置i,j的内积只与它们的相对距离(i-j)有关。
RoPE可以自然地扩展到更长序列(外推)。配合NTK-aware Scaling、YaRN等技术,可以在不重新训练的情况下将上下文窗口扩展4-8倍。
xPos(EXtensible Position Encoding)进一步在旋转位置编码的基础上引入了指数衰减机制,理论上能优雅地处理无限长序列。
第三部分:训练范式的演变
3.1 预训练目标的深化
从BERT的掩码语言模型(MLM)+下一句预测(NSP),到Roberta去除NSP并加大数据量,再到GPT系列的因果语言模型(CLM),预训练目标在“简洁“和“有效“之间找到了平衡。
关键洞察:注意力不足以自动产生对齐,但足够多的数据+足够大的模型+足够强的计算目标(next token prediction)会自发涌现推理能力。
3.2 扩展定律(Scaling Laws)
Chinchilla定律的提出改变了行业对模型配比的认知:
L ∝ 1/N^0.5 ∝ 1/D^0.5
模型参数量N和训练数据量D应该大致等比例增长。这意味着许多早期的大模型“过度参数化“了,而后来按照Chinchilla最优训练的小模型(如Chinchilla 70B vs Gopher 280B)表现反而更好。
扩展定律的延伸研究进一步发现:推理能力、代码能力等高级能力在特定参数规模下才会涌现,这催生了“大模型足够大就会有智能“的乐观预测。
3.3 对齐训练的三部曲
SFT(监督微调):在指令数据上进行监督训练,教会模型“回答问题“而非“续写文本“。
RLHF(人类反馈强化学习):通过训练奖励模型和PPO优化,让模型输出更符合人类偏好。这是ChatGPT成功的关键配方之一。
DPO(直接偏好优化):简化了RLHF流程,直接用偏好数据优化策略。DPO的等价性证明和简单实现使其迅速普及。
第四部分:当前前沿与未来方向
4.1 混合专家系统(MoE)
MoE将FFN层分解为多个“专家“(Expert)网络,每次只激活其中的少数几个。Mixtral 8x7B用8个专家(每次激活2个)实现了与LLaMA-70B相当的推理能力,但推理速度大幅优于同等参数量的大模型。
MoE的挑战在于:专家负载均衡、训练稳定性、通信开销、内存碎片化等。路由策略(Top-K、Switch、Expert Choice)是当前的研究热点。
4.2 长上下文与记忆机制
从GPT-4的32K到Claude的100K再到Gemini的1M,上下文窗口正在指数级扩展。但单纯扩大窗口面临“中间丢失“(Lost in the Middle)问题。解决方案包括:
“递归记忆“(如MemGPT):将上下文管理类比操作系统内存分页。
“检索增强“(RAG):按需从外部知识库检索,不依赖全量上下文。
结构化注意力(如Ring Attention):分布式并行处理超长序列。
4.3 状态空间模型(SSM/Mamba)的挑战
2023年末提出的Mamba模型基于结构化状态空间(S4),实现了O(n)的序列复杂度,同时在长程依赖任务上接近甚至超越Transformer。“Transformer已死,Mamba万岁“的呼声甚嚣尘上。
但截至2025年的现状是:Transformer和SSM正在快速融合。Jamba(AI21 Labs)将Transformer层与Mamba层混排;Zamba进一步加入了状态复用机制。纯SSM模型在规模和生态上仍与Transformer有差距,但“Transformer + 线性注意力“或“SSM与注意力混合“很可能成为下一代架构的主流。
4.4 推理时计算拓展(Test-Time Compute)
OpenAI的o1模型揭示了一个重要方向:不再只靠训练阶段增加计算,而是在推理时用更多计算换取更好的答案。
核心思想:通过更长的思维链(Chain-of-Thought)、自我反思、搜索推理树(如MCTS)等方式,让模型在回答前“多想一会儿“。DeepSeek-R1进一步证明了通过强化学习可以自发产生推理能力。
这可能改变Scaling Laws的范式:未来的智能=训练时扩展×推理时扩展。
4.5 多模态的统一
从“各模态各自建模“到“统一到Transformer中“。GPT-4V、Gemini、Sora等模型证明了:视觉、语音、视频等多模态信息可以统一用Transformer处理。
趋势是“原生多模态“而非“拼接多模态“——即一个模型原生地处理所有模态的token。DeepSeek-VL2、Qwen2-VL等模型正是沿着这个方向。
结语:架构的尽头是通用计算
回顾Transformer七年演进,从最初的机器翻译模型到今天的通用计算引擎,一个清晰的线索浮现出来:Transformer的本质是图灵完备的并行计算单元。自注意力机制中的每一对token交互,都可以看作是一次“全连接“的信息交换。
2025年的AI领域,Transformer的统治地位尚未被撼动,但变革的种子正在萌发。线性注意力、状态空间模型、混合专家、推理时计算……这些新技术像溪流一样汇入Transformer的大河,终将改变河道的走向。
正如Yann LeCun所言:“注意力不是必须的,但图的稀疏性可能需要。“未来的架构可能不再是纯粹的Transformer,但Transformer的思想——通过可学习的动态连接模式组合信息——将长存。

发表评论 取消回复