输入几个简单的关键词,ai能帮你生成一篇短篇小说甚至是专业论文。作为上知天文下知地理对话语言模型,最近大火的chatgpt在邮件撰写、视频脚本、文本翻译、代码编写等任务上强大表现,让埃隆·马斯克都声称感受到了ai的“危险”。
最近大火的chatgpt的计算逻辑来自于一个算法名字叫transformer。它来源于2017年的一篇科研论文《attention is all your need》。本来这篇论文是聚焦在自然语言处理领域,但由于其出色的解释性和计算性能开始广泛地使用在ai各个领域,成为最近几年最流行的ai算法模型,无论是这篇论文还是transformer模型,都是当今ai科技发展的一个缩影。
这也是我想在这里给大家分析这篇文章的核心要点和主要创新的初衷。
但我非ai(数学,计算机)专业,只是梳理并分享自己学习的体会和思考,与大家一起讨论,欢迎各位多提宝贵意见;所述并不专业,各位大牛可以绕行。
从transformer提出到“大规模预训练模型”gpt(generative pre-training)的诞生,再到gpt2的迭代标志open ai成为营利性公司,以及gpt3和chatgpt的“出圈”;再看产业界,第四范式涉及到多个重要领域比如生物医疗,智能制造纷纷有以transformer落地的技术产生。在这个浪潮下,我的思考是:
一是,未来很长一段时间在智能化领域,我们都将经历“科研、算力、基础架构、工程、数据、解决方案”这个循环的快速迭代;流动性、创新性短期不会稳定下来,而是会越来越强。
我们很难等到科技封装好,把这些知识全部屏蔽掉,再去打磨产品。未来在竞争中获胜的,将是很好地“解决了产品化和科研及工程创新之间平衡”的团队。我们一般理解的研发实际上是工程,但ai的实践科学属性需要团队更好的接纳这种“流动性”。因此对所有从业者或者感兴趣智能化的小伙伴了解全栈知识成了一个刚需。
二是,通过对这篇论文的探讨,可以更直观地理解:在科研端发生了什么,以什么样的速度和节奏发生;哪些是里程碑?是科学界的梅西横空出世,带我们发现真理;哪些是微创新?可能方向明确了,但还有很多空间可以拓展;哪些更像炼金术?仍然在摸索,尚需要很长一段时间,或者一直会保持这个状态。
三是,在ai领域,由于技术原因,更多的论文是开源代码的,一方面,促进了更多人参与进来改进迭代;另一方面,科研跟工程实现无缝连接,一篇论文可以拉动从核心代码到平台,到具体应用很大范围的价值扩散。一篇论文很可能就是一个领域,一条赛道,甚至直接驱动业务价值和客户价值的大幅提升。
四是, ai技术发展有很多领域(感知,认知,感知又分图像、语音、文字等,认知也可以分出很多层次),之前这些领域的算法逻辑存在很大差别,transformer的出现有一定程度上推动各个领域汇聚的迹象,介绍清楚这篇文章,对把握整体,可能有些作用。另外chatgpt属于现象级应用,大家更有直观感受,未来这类应用的体验提升和更新速度只会更快,理解了其背后的逻辑,更有助于我们把握这个趋势。
介绍
下面步入正题,开始介绍这篇论文,会涉及一些技术细节及公式,可能还需要仔细看一下,相信一旦看进去,你会对ai的理解加深很多。总体把握
这篇论文的结构非常精炼,提出问题,分析问题,解决问题,给出测试数据。顶刊文章讲究言简意赅,有描述,有代码,有结果;其中最核心的是以下这张图,作者团队提出transformer的核心算法结构:
整篇文章就是围绕这张图来进行解释的,由于篇幅所限,我们聚焦在一条主线上:1、文章想解决主要问题是什么;2、如何解决的;3、从文章提出的解决方案作为一个案例来引发整体思考,因此我们将内容简化,主要关注核心部分。
这张图表达的内容如果理解了,那基本上你掌握了这篇论文85%的内容,也是最关键的部分。
《attention is all your need》在编写时主要是为了考虑nlp任务,是由几个google的科研人员一起完成的,其中一个背景是google也在推广自己的并行计算芯片以及ai tensorflow开发平台。平台主要功能特点是并行计算,这篇文章的算法也是在最大限度的实现并行计算。我们就以一个简单的例子来把这个算法串一遍。
核心内容
需求是我们需要训练一个模型,进行中文到英文翻译。
背景知识:这个需求要把“翻译:我爱你 to i love you”转置成一个y=f(x)问题,x代表中文,y是英文,我们要通过训练得到f(),一旦训练成功f(),就可以实现翻译。大家拼的就是谁的训练方法更准确,更高效,谁的f()更好用。
之前自然语言处理主要的算法叫rnn(循环神经网络),它主要的实现逻辑是每个“字”计算之后将结果继承给第二个字。算法的弊病是需要大量的串行计算,效率低。而且当遇到比较长的句子时,前面信息很有可能会被稀释掉,造成模型不准确,也就是对于长句子效果会衰减。这是这篇文章致力于要解决的问题,也就是说这篇文章有训练处更好的f()的方法。联想一下chatgpt可以做论文,感受一下。
在transformer里,作者提出了将每个字与句子中所有单词进行计算,算出这个词与每个单词的相关度,从而确定这个词在这个句子里的更准确意义。(这句话要是理解了,后面其实可以不看了。)
在此处,要开始进入一些技术细节,在开始之前,我们有必要再熟悉一下机器学习领域最核心的一个概念——“向量”。在数字化时代,数学运算最小单位往往是自然数字。但在ai时代,这个最小单元变成了向量。这是数字化时代计算和智能化时代最重要的差别之一。
举个例子,比如,在银行,判断一个人的信用额度,我们用一个向量来表示:
向量是一组数据的集合,也可以想象成在一个超高维度空间里的一个点。一个具体的信用额度向量,就是在8个特征组成的高维空间的一个点。数据在高维空间将展现更多的数学性质比如线性可分,容易让我们抓住更多隐藏的规律。
向量的加减乘除是计算机在进行样本训练是最主要的计算逻辑。第四范式一直强调的高维,实时,自学习,其中高维就是把企业信息拉升到一个非常高维的空间,变成向量。
transformer模型的主要意义就是找到了一个算法,分成三步把一个词逐步定位到了一个高维空间,在这个过程中赋予这个单词比其它算法更优的信息。很多情况下这个高维空间有着不同的意义,一旦这个向量赋予的信息更准确更接近真实情况,后面的机器学习工作就很容易展开。还拿刚才信用额度向量举例子:
这两个向量存在于两个不同的向量空间,主要的区别就是前者多了一个向量特征:“年薪”。可以思考一下如果判断一个人的信用额度,“年薪”是不是一个很重要的影响因子?
以上例子还是很简单的,只是增加了一个特征值,在transformer里就复杂很多,它是要把多个向量信息通过矩阵加减乘除综合计算,从而赋予一个向量新的含义。
好,理解了向量的重要性,我们看回transformer的三步走,这三步走分别是:1、编码(embedding);2、定位(positional encoding);3、自注意力机制(self-attention),这个真的大名鼎鼎。
举个例子,比如,翻译句子smart john is singing到中文。
首先,要对句子每个词进行向量化。
我们先看“john”这个词,需要先把“john”这个字母排列的表达转换成一个512维度的向量john,这样计算机可以开始认识它。说明john是在这个512维空间的一个点;这是第一步:编码(embedding)。
再次,第二步,定位(positional encoding)。利用以下公式(这是这篇文章的创新):
微调一个新的高维空间,生成一个新的向量:
我们不用太担心这个公式,它核心意义是:在这个新的向量里面每一位由原来的0和1表示,分别取代成由sin和cos表示,这个目的是可以通过sin和cos的定律,让这个新向量不仅表示john这个单词的意义,还可以表示john在smart john is singing这个句子的位置信息。
如果不理解,可以直接忽略,只要记住第二步是用来在“表达john这个词的向量”中,加入了john在句子中的位置信息。john已经不是一个孤立的词,而是一个具体句子中的一个词,虽然还不知道句子中其他词是什么含义。
如果第一步计算机理解了什么是john,第二步计算机理解了“* john**”。
最后,第三步,自注意力机制(self-attention),通过一个attention(q,k,v)算法,再次把john放到一个新的空间信息里,我们设为:
在这个新向量里,不仅包含了john的含义,john在句子中位置信息,更包含了john和句子中每个单子含义之间的关系和价值信息。我们可以理解,john作为一个词是一个泛指,但smart john就具体了很多,singing的smart john就又近了一步。而且attention (q,k,v)算法,不是对一个单词周围做计算,是让这个单词跟句子里所有单词做计算。通过计算调整这个单词在空间里的位置。
这种方法,可以在一个超长句子中发挥优势,而且最关键的是一举突破了时序序列的屏障,以前对于图像和nlp算法的划分,很大程度上是由于nlp有很明显的时序特征,即每个单词和下一个以及在下一个有比较明显的时序关系。但transformer这种算法打破了这种束缚,它更在意一个单词跟句子中每个单词的价值权重。这是transformer可以用到everywhere的主要原因。
计算过程
如果不感兴趣,可以跳过这一部分介绍,直接进入启发收获部分。
具体的计算过程,用翻译句子“我爱你”到“i love you”举例(这句更简单一些)。首先进行向量化并吸收句子位置信息,得到一个句子的初始向量组。
由于样本每个句子长短不同,所以每个句子都会是一个512*512的矩阵,如果长度不够就用0来代替。这样在训练时,无论多长的句子,都可以用一个同样规模的矩阵来表示。当然512是超参,可以在训练前调整大小。
接着,用每个字的初始向量分别乘以三个随机初始的矩阵wq,wk,wv 分别得到三个量qx,kx,vx。下图以“我”举例。
然后,计算每个单词的attention数值,比如“我”字的attention值就是用“我”字的q我分别乘以句子中其他单词的k值,两个矩阵相乘的数学含义就是衡量两个矩阵的相似度。然后通过一个softmax转换(大家不用担心如何计算),计算出它跟每个单词的权重,这个权重比例所有加在一起要等于1。再用每个权重乘以相对应的v值。所有乘积相加得到这个attention值。
这个attention数值就是除了“我”字自有信息和位置信息以外,成功的得到了这个句子中每个单词的相关度信息。
大家可以发现,在所有注意力系数的计算逻辑中其实只有每个字的初始矩阵wq,wk,wv是未知数(这三个矩阵是所有文字共享的)。那么我们可以把这个transformer简化成一个关于输入,输出和这个w矩阵的方程:其中x是输入文字信息,y是翻译信息。
这里有必要再介绍一下机器学习的基础知识:transformer算法本质上是一个前馈神经网络模型,它的计算基础逻辑,不去管复杂的隐藏层,就是假设y=f(x)=wx,(目标还是要算出一个f())然后随机设置一个w0,开始计算这个y=w0x的成本函数,然后再把w0变成w1,计算y=w1x的成本函数,以此类推计算出无数w(不是无数哈,也会收敛的),然后比较哪个w的成本函数最小,就是我们训练出来的f()。那么在transformer里,这三个初始矩阵就是那个w0。
再回到transformer,在计算attention之后,每个单词根据语义关系被打入了新的高维空间这就是self-attention(自注意力机制)。
但在transformer里,并不是代入了一个空间,而是代入了多个高维空间,叫做多头注意力机制。
文章中没有给出更清晰的理论支持,为什么是多头。
主要原因是在训练时效果很好。这也是ai科研论文的一个特点,常常凭借非常高的科研素养和敏感性,发现一些方向,并且通过测试确实有效,但不一定可以给出很完美的理论支撑。这往往也给后续研究者一些可以进一步完善的空间。
事实证明,如何提升attention(q,k,v)效率是transformer领域迭代最快的部分。之后的bert算法提出预训练机制成为了主流,后面会做进一步介绍。
当然,事后我们可以理解是把这个句子中的逻辑关系放到不同的高维空间去训练,目的就是希望抓取更多的信息,这一部分可以更加深刻理解科研人员对空间的应用。
除了以上内容,还有一些技术点比如mask机制、layer norm、神经网络激函数饱和区控制等,由于篇幅关系以及属于技术细节就不一一介绍了。
如果大家理解了多头自注意力机制,基本已经85%掌握了这篇论文的重要内容,也对还在快速扩展影响力的transformer模型有了一个比较直观的认识。
启发收获
从理论科研进步的角度看
transformer打破了时序计算的逻辑,开始快速出圈,多个ai原本比较独立的领域开始在技术上融合。再往里看,transformer能打破时序很重要一点是并行计算的算力模式给更复杂的计算带来了性价比上的可能性。算力的进一步提高,必将在ai各细分领域带来融合,更基础设施级别的模型,算法仍将不断推出。ai领域在图像,nlp;感知认知领域的专业分工也会慢慢变模糊。
ai科研确实具有一些实验性质。除了核心思想,确实还有很多技术点的解决方向已经明确,但还有很大的提升空间,可以预见围绕transformer周边的微创新会持续加速繁荣。
《attention is all your need》在业内大名鼎鼎,但你要是细看,会发现很多内容也是拿来主义,比如最重要的attention(q,k,v)中query,key,value是互联网推荐系统的标配方法论;整个transformer算法也是一个大的神经网络,算法是在前人基础上一步一步迭代发展,只是这个迭代速度明显在加快。
从理论、算法、架构、工程的角度看
ai算法科研领域正经历算法、开源代码、工程、算力的增长飞轮。下图是顶级刊物上的学术论文中,开放源代码的论文比例,这个数据在这几年以更快的速度在增长。科研过程与工程过程产生越来越大的交集。开源社区和开源文化本身也在推动算法和工程的快速发展。
更多人参与,更多领域的人参与进来,进入门槛随着算力成本、ai基础架构和代码、知识分享的开源逐渐降低,科研与工程的边界也变得模糊,这个就像足球运动的规律,除了足球人口增多,天才球员梅西出现的概率也会增大。
从数据和后续方案发展的角度看
chatgpt的成功同大量的数据训练功不可没,但除了简单对话互动或者翻译,大篇幅回答甚至论文级别的答案还是极其缺乏样本数据(算法训练需要的样本数据需要清晰度x和y)。
而且transformer的算法相比其他算法需要更大的数据量,原因在于它需要起始阶段随机产生三个矩阵,一步一步进行优化。除了transformer以外,另一个技术bert也是技术发展非常重要的现象级算法。其核心是一个简化的transformer,bert不去做从a翻译到b,它随机遮住x里面的一些单词或句子让算法优化对遮住部分的预测。这种思路使得bert成为了transformer预训练最好的搭档。
如果通过bert进行预训练,相当于给矩阵加入了先验知识(之前训练逻辑没有给机器任何提示,规则后者基础知识),提高了正式训练时初始矩阵的准确度,极大地提升了之后transformer的计算效率和对数据量的要求。
在现实中,举例来说,如果我想训练国家图书馆图书,之前需要每本书的信息和对这本书的解释,或者中文书对应的英文书。但现在我们可以大量只是训练内容,不需要打标签,之后只需要通过transformer对样本数据进行微调。这就给chatgpt很大的进步空间,而且可以预见,更多这类大模型会雨后春笋一般快速出现。
由于transformer是更高级的神经网络深度学习算法,对数据量有很高要求,这也催生了从小数据如何快速产生大数据的算法,比如gan对抗网络等。这是aigc领域的核心技术。解决数据量不足问题,除了更高效率抽象小数据的信息,也多了把小数据补足成大数据的方法,而且这些方法在快速成熟。
我们发现在机器学习算法中有大量的超级参数,比如在transformer里多头机制需要几头n,文字变成向量是512还是更多,学习速率等都需要在训练之前提前设置。由于训练时间长,参数复杂,要想遍历更优秀的计算效果需要非常长的摸索时间。
这就催生出automl,第四范式在这个领域研究多年,拿transformer举例,就要很多个路线进行自动化机器学习;比如贝叶斯计算(找到更优参数配置概率);强化学习思路(贪婪算法在环境不明朗情况下迅速逼近最优);另外还有寻求全新训练网络的方法(transformer,rnn,mlp等联合使用排列组合)等。
科研发展强调参数化,工业发展强调自动化,这两者看似统一,但在现实实操过程中往往是相当痛苦矛盾的。这也是开篇说的产品化和科研流动性相平衡的一个重要领域。