【新智元导读】AlphaFold 3的论文太晦涩？没关系，斯坦福大学的两位博士生「图解」AlphaFold 3 ，将模型架构可视化，同时不遗漏任何一个细节。

　　这个「值得获得诺贝尔奖的发明」不仅在学术圈引起了巨震，还轰动了制药界——它可能带来数千亿美元的商业价值，并对药物研发产生深远影响。

　　因为AlphaFold3的结构非常复杂，论文有相当高的阅读门槛，让人望而却步。两位斯坦福大学的两位博士生制作了一个论文的「图解版」，比论文阅读起来友好多了，而且还很详尽！

　　此前已经有很多关于蛋白质结构预测的研究动机、CASP竞赛、模型失效模式、关于评估的争论、对生物技术的影响等主题的文章，因此以上内容都不是这篇博文关注的重点。

　　这篇博文关注的重点在于AlphaFold3（以下简称AF3）是如何在技术上实现的：分子在模型中被如何表示，它们又是如何被转换成预测结构的？

　　AF3不仅预测单个蛋白质序列（AF2）或蛋白质复合物（AF-multimeter）的结构，还能预测蛋白质与其他蛋白质、核酸、小分子中的一种或多种物质的复合结构，而且仅根据序列信息。

　　因此，前代的AF模型只需表示标准的氨基酸序列，但AF3需要引入更复杂的输入类型，因此设计了更复杂的特征表示和tokenization机制。

　　tokenization过程会在稍后单独描述，目前我们只需要知道，token可能代表单个氨基酸（蛋白质）、核苷酸（DNA/RNA），或者单个原子（其他物质）。

　　- 输入准备：给定输入的分子序列，模型需要检索一系列的结构相似的分子。这一步骤会识别出这些分子，并将其编码为数值张量。

　　- 结构预测：基于第一部分创建的原始输入以及第二部分改进后的表征，使用条件扩散进行结构预测。

　　在整个模型中，蛋白质复合物有两种表示形式：单一表征（single representation）和配对表征（pair representation），这两种表示都可以应用于token级别或原子级别。

　　前者仅仅表示复合物中的所有token或原子，后者则表征了物质中所有token/原子之间的关系（如距离、潜在相互作用等）。

　　本节包含5个步骤，分别是tokenization、检索、创建原子级表征、更新原子级表征、原子级到token级集成。

　　因此，我们可以认为某些token（如标准氨基酸/核苷酸）对应多个原子，而其他token （如配体中的原子）只对应单个原子。

　　比如，35个标准氨基酸的序列（可能大于600个原子）将由35个token来表示；同时，一个由35个原子组成的配体也同样由35个token表示。

　　模型会检索到与与输入序列相似的序列（收集到多序列比对中，即MSA），以及与这些序列相关的任何结构（称为「模板」），将它们作为模型的附加输入，分别写作m和t。

　　与AF-multimer相比，这些检索步骤中唯一的新内容是，除了蛋白质序列外，我们现在还对RNA序列进行检索。

　　请注意，这在传统上并不被称为「检索」，因为早在RAG这个术语出现之前，使用结构模板指导蛋白质结构建模就已经是同源建模领域的常见做法了。

　　不过，尽管AlphaFold没有明确将这一过程称为检索，但它确实与现在流行的RAG非常相似。

　　首先，计算给定模板中所有token对之间的欧氏距离。如果是对应多个原子token，则使用一个有代表性的「中心原子」来计算距离。

　　这会为每个模板生成一个Ntoken x Ntoken大小的矩阵。不过，距离并不是用数值来表示，而是将距离离散化为「距离直方图」。

　　然后，我们向每个直方图添加元数据，关于每个token属于哪个链、该token是否在晶体结构中得到解析、以及每个氨基酸内部的局部距离信息。

　　然后，我们对这个矩阵进行掩码，只查看每条链内部的距离（忽略链之间的距离）。根据论文的解释，这样做的原因是「并不尝试选择模板......以获取链间交互的信息」。

　　第一步是计算每个氨基酸、核苷酸和配体的「参考构象」（reference conformer）。虽然我们还不知道整个复合物的结构，但我们对每个单独组件的局部结构有很多的先验知识。

　　不过，每个小分子都需要生成自己的构象，利用RDKit中的ETKDGv3算法，同时结合了实验数据和扭转角偏好来生成三维构象。

　　然后，我们将该构象信息（相对位置）与每个原子的电荷、原子序数和其他标识符连接起来。矩阵c存储了序列中所有原子的这些信息。

　　由于我们只知道每个token内的参考距离，因此先使用掩码机制（v）来确保这个初始距离矩阵只代表我们在构象生成过程中计算出的距离。

　　最后，我们将原子级别的单一表征复制一份，并将这个副本称为q。这个矩阵q是我们接下来要更新的，但c确实会被保存并稍后使用。

　　在生成了q（单个原子的表征）和 p（原子配对表征）之后，我们现在要根据附近的其他原子更新这些表征。

　　原子Transformer主要遵循标准的Transformer结构。不过，其具体步骤都经过了调整，以处理来自c和p的额外输入。

　　到目前为止，所有数据都是以原子级别存储的，而AF3的表征学习部分则从这里开始以token级别运行。

　　为了创建token级表征，我们首先将原子级表征投影到一个更大的维度（catom=128，ctoken=384）。然后对分配给同一token的所有原子取平均值。

　　之后将token级特征和MSA中的统计信息连接起来，形成矩阵sinputs并被向下投影到ctoken，作为序列的起始表征sinit。

　　这部分模型的学习目标是改进上述token级别的单一（s）或成对（z）张量的初始化表示，因此被称为「表征学习」。

　　以上步骤会重复运行多次，每次输出结果后再将其反馈到自身继续作为输入，继续进行计算（如上图中蓝色需先所示），这种做法被称为「回收」（recycling）。

　　每个模板t和张量z经过线性投影后相加得到矩阵v，再经过一系列被称作Pairformer Stack的操作（后文详述）。

　　有趣的是，这是AF3模型中唯二使用ReLU的地方之一，但论文中并没有解释为什么选择ReLU而非其他非线性函数。

　　AF3中的MSA与AF2中的Evoformer非常类似，都是在同时改进MSA表征和配对表征，对两者分别独立执行一系列操作后进行交互。

　　处理MSA表征的第一步是下采样，而非使用之前生成的MSA的所有行（最多可达 16k）。下采样后，还要加入经过投影映射的单一表征s。

　　之后，MSA表征m通过外积均值方法（outer product mean）被合并到配对表征中。

　　如下图所示，比较MSA中的两列揭示了有关序列中两个位点之间的关系信息（比如进化过程中的相关性）。

　　对于每对标记索引i,j，我们迭代所有进化序列s，获取 ms,i和 ms,j的外积，在所有进化序列中进行平均。

　　虽然每个外积仅对给定序列ms内的值进行操作，但取平均值时会混合序列之间的信息。这是模型中唯一能在进化序列之间共享信息的机制。

　　根据MSA更新配对表征后，模型接下来根据后者更新MSA，这种特定的更新模式是原子Transformer中所述的「具有配对偏差的自注意力」的简化版本，被称为「仅使用配对偏差的行内门控自注意力」（row-wise gated self-attention using only pair bias）。

　　这种方法受到注意力机制的启发，但并不使用查询和键计算，而是直接使用存储在配对表征z中的token间关系。

　　如下图所示，在张量z中，每个cz维度的向量zi,j都表示第i个和第j个token间的关系。将z线性投影到矩阵b后，每个zi,j向量变为标量，就可以相当于「注意力分数」（attention score），用于加权平均。

　　最后，MSA通过一系列「三角更新」（triangle updates）和注意力机制来更新配对表征，其中「三角更新」与下面Pairformer的描述相同。

　　经过前两个模块后，模板t和MSA表征m的作用就结束了，只有单一表征z和经过更新的配对表征s进入Pairformer并用于相互更新。

　　Pairformer中值得注意的是「三角更新」和「三角自注意力」方法，它们首次在AF2模型中出现，并被保留在AF3中，而且正在被应用到越来越多的架构中。

　　回想一下，张量z中的值zi,j编码序列中位置i和j之间的关系。虽然并没有显式地对token间的物理距离进行编码，但的确包含了这层含义。

　　如果我们想象每个zi,j代表两个氨基酸之间的距离，并且有zi,j=1和zj,k=1。那么根据三角形不等式，zi,k不能大于2。

　　「三角更新」和「三角形自注意力」的目标就是尝试将这些几何约束编码到模型中，但并不会强制执行，而是鼓励模型在每次更新zi,j的值时考虑所有可能的三元组(i,j,k)。

　　此外，z不仅代表物理距离，还编码了token之间复杂的物理关系，因此向量zi,j是有方向的。

　　所以，如上图所示，在对节点k进行「三角更新」和「三角自注意力」操作时，需要分别查看两种有向路径，出边（outgoing edge）和入边（incoming edges）。

　　从图论角度理解「三角」操作后，我们就能明白以下的张量更新和注意力机制是如何通过张量运算实现的。

　　为了更新zi,j，需要对zi,k和zj,k进行操作，即对a中的第i行和b中的第j行进行逐元素（element-wise）乘法，之后对所有行（不同k值）求和，再用g进行门控。

　　为了更新zi,j，需要对zk,i和zk,j进行操作，即对a中的第i列和b中的第j列进行逐元素乘法，再对所有行求和。

　　接下来，分别使用出边和入边的「三角自注意力」更新每个zi,j值。AF3论文将这两个过程分别称为「围绕起始节点」（around starting node）和「围绕结束节点」（around ending node）。

　　回忆一下，典型的一维序列自注意力中，查询、键和值都是原始一维序列的转换。自注意力的二维变体——轴向注意力中，在二维矩阵的不同轴上（行，然后列）上独立应用一维自注意力。

　　以此类推，「三角自注意力」在轴向注意力的基础上添加了之前讨论的「三角形不等式」，通过合并所有k值的zi,k和zj,k来更新zi,j。

　　比如，在围绕起始节点的情况中（下图），为了计算注意力分数zi,j，需要将qi,j与k矩阵中第i行每个值相乘（以确定第j列受到其他列的影响），然后加上zj,k的注意力偏置。

　　围绕结束节点的情况同样是行列对称，为了计算zi,j，需要将qi,j与k矩阵中第i列每个值相乘，注意力偏置则来自第j列。

　　用四个与「三角」有关的步骤更新了配对表征z后，我们还希望用它来更新单一表征s，此处使用的方法是「带有配对偏置的单一注意力」（single attention with pair bias，下图）。

　　这个方法在输入准备部分的原子Transformer中也被用到，区别只在于一个是token级别，一个是原子级别。

　　以上是Pairformer的所有计算流程。经过48个块的重复计算后，我们就得到了张量strunk和ztrunk。

　　为了初始化token级条件表征，我们将ztrunk与相对位置编码拼接，然后将这个更大的表征向下投影，并通过几个带有残差连接的转换模块。

　　同样地，对于token级的单一表征，我们将模型的初始表征（sinputs）和我们当前表征（strunk）拼接起来，然后投影回原始大小。

　　然后，我们根据当前的扩散时间步长创建一个傅立叶编码模型，将其添加到单一表征中，并将该组合通过多个转换模块。

　　通过在这里的条件输入中加入扩散时间步长，可以确保模型在进行去噪预测时能够意识到扩散过程的时间步长，从而预测出该时间步长下需要消除噪声的合适规模。

　　为了解决这个问题，我们采用编码部分（c 和 p）中创建的输入的初始原子级表征，并根据当前的token级表征更新它们，以创建原子级条件张量。

　　接下来，使用数据方差来缩放原子的当前坐标（x），从而有效地创建出具有单位方差（称为r）的「无量纲」坐标。

　　然后我们根据r更新q，这样q就包含了原子的当前位置信息。最后，使用原子Transformer更新q，并将原子聚合为我们之前看到的token。

　　这一步的目标是运用注意力机制更新原子坐标和序列信息的token级表征a。这一步使用的是输入准备过程中可视化的扩散Transformer，它与原子Transformer相同，但针对token。

　　与上一步一样，我们广播token表征，使其与开始时的原子数量相匹配，然后运行原子Transformer。

　　最重要的是，最后一层线性层将原子级表征q映射回R。这是关键的一步：我们使用所有这些条件表征为所有原子生成坐标更新rupdate。

　　由于是在「无量纲」空间rl中生成这些更新的，因此需要进行重新缩放，将 rupdate中的更新转换为为非单位方差的形式xupdate，再引入到xl中。

　　在对AF3的架构及其与AF2的比较进行了如此详尽的介绍之后，作者没有止步于此，而是将之与更广泛的机器学习趋势相关联，这一点很有意思。

　　作者提到了AF与检索增强生成、Pair-Bias注意力机制、自监督训练、分类与回归、LSTM循环架构、交叉蒸馏之间的关系。

　　Elana Simon本科从哈佛大学毕业并获得计算机科学领域学士学位，曾在谷歌、Facebook等机构实习，并担任过Reveries Labs的机器学习工程师。

　　她目前是博士二年级，由James Zou指导，从事机器学习和生物学（免疫学和基因学）交叉领域的研究。

　　Jake Silberg本科毕业于哈佛大学社会研究专业，辅修全球健康和卫生政策，硕士毕业于斯坦福大学统计系数据科学专业。

　　他曾在麦肯锡担任高级业务分析师，目前在斯坦福大学攻读生物医学数据科学方面的博士学位，研究兴趣包括主动学习、人机交互，以及Transformer在卫星和医学图像中的应用。

　　本文为澎湃号作者或机构在澎湃新闻上传并发布，仅代表该作者或机构观点，不代表澎湃新闻的观点或立场，澎湃新闻仅提供信息发布平台。申请澎湃号请用电脑访问。