我打开AI聊天窗口https://chat.deepseek.com,发送我的Query:
当我们开始一个LLM聊天对话,输入问题时,实际上大模型托管服务有内置的上下文信息,在我们输入信息,按下发送按钮时,大模型收到的是内置上下文 + 系统服务Prompt + 用户输入信息。
大模型经过神经网络的概率统计(权重拟合)得到下一个要说的词,通过流式响应逐个词丢回会话窗口,用户就能看到大模型“正在打字”和我们聊天。“打字”的速度就是大模型响应的速度,通常看描述LLM性能的一个指标N token/s。
本质就是从输入的 tokens 推测下一个 token 的出现概率,将可能性较高的作为输出token,再将得到的token添加到输入中,直到满足结束条件(上下文长度限制、结束符以较高概率出现、用户定义的停止条件、概率阈值与采样策略、模型架构的隐式结束符)。 所以LLM本质上是一个具有统计概率的知识记忆模糊的知识回顾系统,也可简称概率性复读机。 那么这个回顾系统是怎么实现的呢,“zip文件”怎么得来的? 构建一个现代的LLM三个步骤:**预训练、后训练(SFT)和强化学习(RL\RLHF)**。
在预训练过程中,需要有原始数据和验证数据,所以通常可以将数据集分为两份,例如90%用于训练,10%用于验证(具体比例可能因任务调整)。
图片来源huggingface.co/space...
数据集生成流程:
预训练数据集示例:
tiktokenizer.vercel.... 上可以看到模型token可能是不一样的,这里举例OpenAI的对话示例:
可以看到OpenAI对数据结构化了,定义了对话角色,增加了<|im_start|>、<|im_sep|>、<|im_end|>这样的标识符用于分割对话,这些标识符都对饮一个token,“You are a helpful assistant”的tokens序列是“3575, 553, 261, 10297, 29186”。
Tokenization(分词/令牌化)是将输入文本拆分为模型可处理的离散单元(Token)的过程,即将文本数据表示为token的一维序列。它是自然语言处理(NLP)中的关键步骤,直接影响模型对文本的理解能力和效率。
数据集的原始文本数据量非常大,如著名的FineWeb数据集就有15万亿个token,总共44TB大小,需要高效拆分文本窗口,在能表达混合多种语言、复杂字符表达等情况,但不丢失语义。 分词实际上就是一层映射包装,过粗、过细的分词都不利于训练和模型性能表现,分词过细(如字符级、字节级别、比特级别)导致长序列,计算开销大,分词过粗(如单词级)则词汇表爆炸,内存占用高。
采用BPE(Byte-Pair Encoding,如GPT)、WordPiece(如BERT)或SentencePiece,将文本转化为子词(subword)单元。BPE算法(Byte-Pair Encoding):平衡词汇表大小与序列长度。
原始文本:
原始字节
tokenization:
对话过程中输入的token越多,越分散注意力,降低模型准确性和性能,节约成本。不丢失信息的情况,越短越好,性能成本都会提升。所以,聊不同的主题应该单独开会话窗口。
在tokenization过程中,我们发现,在44TB的文本内容里,很多词一起出现的概率较高,如图中49305后面出现17,那么就可以将49305与17合并成4930517,作为一个新的token,重复如此。最后,再将所有词汇压缩到最小映射表,重新编号token,这样就得到了一份可以还原44TB内容的词汇表。如GPT-4词汇表是100277个。 主流大语言模型的词汇表大小如下(按数值从小到大排序):
将大规模训练数据集划分为多个逻辑或物理片段(Shard)的技术,目的是实现高效的数据并行处理和分布式训练。
数据分片的核心作用:
我们知道数据集是一张表,所以数据分片的方式方法和传统结构化数据分片类似,但这里要结合训练过程的实际情况做调整,数据分片常见方法:
当前主流LLM通常是采用Transformer结构,包含自主力(Self-Attention)和多头注意力(Multi-Head Attention)的注意力层、前馈神经网络(FFN),注意力层+FFN等模块组成一层,需要确定模型的层数和参数量。
主流架构:Transformer(基于自注意力机制),常见变体:
规模参数:
Transformer结构:
自监督学习:无需人工标注,通过文本自身生成监督信号。
分布式训练,并行策略执行、通信优化,每一轮训练(单步训练)流程包括:
Transformer结构的训练通常需要经过上万轮的训练,即上万个训练步数,训练时会充分利用GPU并行的特性,在分布式训练中并行,包括数据并行、模型并行、张量并行、流水线并行,且总GPU数 = 数据并行度 × 模型并行度。
数据并行(Data Parallelism):将批次(Batch)划分为多个子批次(Sub-batch),分配到不同GPU上并行处理。模型并行(Model Parallelism):
举例GPT-3的预训练情况,加深直观理解:
这里批量大小和上下文大小的关系是:序列数=批次大小/上下文长度=3.2*10^6/2048≈1562 个序列/步,批次大小是并行训练的序列数量,而上下文长度是单个序列的长度。这里对tokenization后的数据集进行切分为一个个小块(chunk),这个chunk的大小就是上下文窗口长度(context window),chunk的大小是序列长度,批次大小是同时处理的chunk数量,训练批次总token数是两者的乘积。
在预训练的阶段,每一轮预训练训练的结果是得到一个基础模型(Base Model),这个模型可以预测每一个输入序列tokens的下一个token,可能每个词汇token都会有一个概率,这里是统计性和概率性的结果,是对训练数据集的回放。
上图得到的next token ID 是19348(" Direction"),但是我们期望的是3962(" Post")概率更高一些。所以,在完成一轮训练后,我们会用测试数据集进行测试,计算Lost函数,并将拟合偏离反馈到神经网络的参数调整上,这样下一轮训练后,token ID 3962(" Post")的概率就会更高一些。
整个训练的过程,我们逐步调整参数权重,这种权重的参数有上亿个,如DeepSeek R1满血版参数量是671B(6710亿)个,GPT-3 的参数量是 1750 亿,GPT4的参数量1.8 万亿左右,这是很大的参数量。所以,我们可以理解为神经网络实际上是一个非常巨大的数学表达式,我们预训练后得到的就是这样一个或者一群这样的函数表达式。
这样一个超巨大的数学表达式展开式什么样的呢?这里有一个大模型可视化网址bbycroft.net/llm ,可以看到一个85584个参数的神经网络,这里详细讲解了通过预训练后得到的排序神经网络,在处理一个排序任务的时候整个过程,推荐大家去做拓展阅读。这里面还有GPT-2、GPT-3的神经网络可视化,可以直观感受到不同规格参数的神经网络。
循环训练以上单步训练外,还需要引入优化,保证训练结果。
包括软件技术优化和硬件技术优化。
软件技术优化:
硬件技术优化
至此,我们得到了一个基础模型(Base Model),可以看做是一个互联网词汇模拟器,它能够模仿数据集的知识,蹦出概率较高的下一个token,这些token组成的知识是模糊的、具有统计性质的。就像是将数据集的只是内化存储到了神经网络之上,知识可以被拟合回放。但是它还不能成为一个有用的助手,它的回答可能是不可读,甚至有害的,这时候给他问题他也许只会给出更多问题或者做简单背诵。还需要进到后训练才能做出正确相应,成为一个有个性的助手。
进一步优化模型性能、对齐人类意图或适应特定任务的阶段。这一阶段的关键在于让模型从“通用知识库”转变为“可控、安全、可用的工具”。
后训练是LLM从“知识存储”到“实用工具”的关键过渡。通过这一过程,模型不仅学会生成流畅文本,还能在安全性、可控性和任务适应性上达到实际应用标准。例如,ChatGPT的后训练阶段(包括SFT和RLHF)使其能够理解复杂指令并生成符合伦理的回答,而未经后训练的原始GPT模型可能输出有害或无意义内容。
这一过程需要大量高质量数据、计算资源和多学科协作(如语言学、伦理学、计算机科学),是当前LLM研发的核心挑战之一。
我们在用的聊天型LLM是对话模式的,
对话示例 通过人工标注的高质量数据,调整模型的输出风格、格式和内容,使其更符合实际需求。
数据集:是一组对话列表,是通过人工创建的高质量对话。
方法:使用问答对、指令-响应数据(例如:用户指令+理想回答)进行微调,对模型进行“隐式编程”,进一步调整了权重,模型会逐渐建立从自然语言指令到目标响应的隐式映射函数,通过梯度下降在参数空间中寻找指令对齐的最优解。
效果:提升模型对指令的理解和响应质量,减少无意义或重复输出。
数据集的构造,早期OpenAI是在upwork(一个自由职业平台)和scaleAI(一个标注平台)发布问题任务,由网友完成回答并提交,形成数十万的条基础数据集。
OpenAI在2022年的一个论文《Training language models to follow instructions?? with human feedback》 如今,大量标注工作由大语言模型辅助完成(例如,人类更多是进行编辑而非从头撰写),甚至有些标注完全是合成生成的,如著名的UltraChat:gif
nvidia公开的一份代码SFT数据集示例如下图:
huggingface上的后训练数据集 Models need tokens to think,问答是否更好,也会考虑模型本身的特性,那些能让回答逐步计算和迭代的回答更好,跳跃性、单步计算量的回答是没那么好。比如下图右边的答案更好,因为他是逐步推导和计算,在最后给出的答案,而左边在一开始就做了全部计算,这对模型本身的计算消耗是更大。
目的:解决源域(训练数据)与目标域(测试数据)分布不一致的问题,使模型在目标域上保持高性能,适应特定领域知识(如医疗、法律、金融、代码生成)。
方法:
1、幻觉和解决办法
企业微信截图_05db3b26-91f3-4523-99b7-4de36a915e6a
2、长记忆和解决办法
发生场景:对话上下文非常长时,如上传了文件、多轮对话、跨模态任务融合等
技术原因:上下文窗口硬性限制、信息稀释与注意力衰减、模型无状态和存储机制缺失、计算资源和效率的矛盾(需要分布式计算)
解决办法:外部存储结合(向量数据库)、显示记忆和分层存储(高频知识内化到模型参数、中频KV向量存储、低频动态检索)等方法
3、数学计算能力 经典问题:
进行大数乘法的时候,通过心算,得出近似的错误答案:
DeepSeek R1思考了很久,最终通过心算计算正确,应该是借助MoE分配给了数学专家神经网络完成了正确的推算。
4、模型直接使用工具
模型本身还不具备注解调用工具的能力,目前都是在模型输出后给到应用层来完成工具调用。
5、Tokenization的副作用
通常认为RL是属于后训练的一部分,但Andrej Karpathy认为RL和SFT、RLHF是有本质区别的。RLHF在不可验证的领域进行学习,通过持续采样、评分和策略更新逐步对齐人类偏好,在完成训练后做重复训练是没有收益的;而RL是可以不断重复对模型进行改进,获得复利的,如增加推理轮次获得更深度的思考结果。而RL从后训练中拿出来是因为RL有广阔的前景,RL是推理模型构建的必要,也是模型走向AGI的关键。
早在DeepMind的AlphaGo就在用,但是是在封闭的环境内,是明确游戏规则的,在开放化话题中表现不佳,如何提升在开放环、开放话题的表现一直是业界难题。RL是当前业界前沿的技术话题,DeepSeek是第一个公开讨论实现方法并开源了实现成果、开源实现工具和实现框架的,所以我主要是阅读DeepSeek_R1.pdf来理解RL。 论文中提出了一种用强化学习“教会”大模型自主推理的方法。他们先训练了一个完全靠自我摸索成长的模型(DeepSeek-R1-Zero),发现它虽然聪明但“说话混乱”;于是改进出一个结合少量示例教学和多阶段训练的升级版(DeepSeek-R1),最终达到接近顶尖闭源模型的水平。团队还成功将大模型的能力“压缩”到小模型上,让手机等设备也能运行高性能推理模型。这项工作为AI自主学习和知识迁移提供了新思路,并开源了全部成果供社区使用。
1、通过纯强化学习(无需监督微调)训练,直接从基础模型(DeepSeek-V3-Base)开始,使用GRPO(Group Relative Policy Optimization)算法优化,通过分组奖励估计替代传统批评模型,降低训练成本。奖励模型结合准确性奖励(基于规则验证结果)和格式奖励(强制结构化输出)。模型在训练中自然涌现出自我验证、反思、生成长思维链(CoT)等能力,在数学(如AIME 2024)、编程等任务上表现优异(pass@1达71%),但存在可读性差和语言混合问题。
本文系作者在时代Java发表,未经许可,不得转载。
如有侵权,请联系nowjava@qq.com删除。