Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

第 6 讲导览 · 新前沿

这一讲要解决的真实问题

前五讲已经把零件集齐了:第 2 讲的 Transformer 提供序列骨干,第 4 讲的生成模型给出采样框架与流匹配,第 5 讲的强化学习与偏好优化提供对齐工具。本讲把它们组装成今天最受关注的系统:大语言模型、多模态模型、具身智能体。

但这一讲与前五讲有一个本质差别,值得在开篇就讲清楚:前五讲的内容是收敛的,这一讲的内容是正在形成的。Transformer 的注意力公式十年后大概仍是这个样子;而「能力涌现是不是度量假象」「视频生成模型算不算世界模拟器」「合成数据能不能突破数据墙」这些问题,今天没有定论,且证据每月都在变。

所以本讲的教学目标不是给你一套结论,而是给你三样东西:

  1. 可用的工程判断:哪些数字可以直接用(频率、延迟、token 预算、幂律形状),哪些必须条件化(缩放律常数、评测分数、成功率)。
  2. 读取前沿主张的方法:看到一个「突破」时,知道该问哪四个问题(哪类基准、有没有污染、方差多大、部署代价多少)。
  3. 对争议的中立呈现能力:本讲有三处并列两方证据、不站队的地方——能力涌现(6.2.4)、世界模拟器之争(6.6.8)、评测污染与刷榜(6.7.2)。你要学的不只是两方说了什么,还有怎样的实验能分辨它们。

七节一览

节核心问题关键结论典型陷阱
6.1 大语言模型:从自监督预训练到对齐把 Transformer 放到极致地大、喂进海量文本,为什么能学出语言能力?预测下一个 token 的交叉熵字面上就是压缩码长;三段式(预训练 → SFT → 偏好对齐)缺一不可;tokenizer、去重、KV cache 是三条被低估的工程约束跨 tokenizer 比较 PPL;把「对齐能激发潜在能力」当成定论;不 mask 指令损失
6.2 缩放律与「能力涌现」规模变大,效果怎么变?「突变」是真的吗?幂律 + 不可约损失;C≈6NDC\approx6ND 与计算最优配比 D≈20ND\approx20N;同一问题 2020/2022 两次结论相反,差别在方法;涌现之争须并列双方把缩放律当物理定律背数字;把「涌现」读成「够大就万能」;用单一离散指标判断能力
6.3 提示、思维链与推理模型不改参数,怎样用输入与推理期算力换准确率?天花板在哪?提示是条件化不是学习;CoT 用序列长度换串行计算深度,但未必忠实;自洽性在 p<0.5p\lt0.5 或错误相关时会失效;测试时计算三形态;RLVR 受可验证面限制以为提示能创造知识;把推理 token 数当成「思考」的证据;以为「奖励涨到 0.95」可以上线
6.4 多模态模型:让模型看图听声怎样把图像与声音接进语言模型?它会看错什么?CLIP 只对齐「整图—整句」,不建模细粒度关系;VLM 三段式(只训连接器 → 指令微调 → 偏好对齐);连接器便宜、视觉 token 贵;分辨率与压缩率是两个必须显式选的旋钮以为多模态模型真的「看见」;把「同一架构」当成「统一表示」;只报总分不做错误归因
6.5 具身智能与视觉—语言—动作模型语义理解怎样接到物理动作上?四重错配(输出空间 / 速度 / 时间尺度 / 错误代价);动作分块把模型延迟与控制频率解耦;离散 token 换语义迁移,连续生成换多峰动作,各有精度与采样代价;数据三条来源各有硬天花板以为 VLA 就是「接个机械臂」;以为仿真能替代真机数据;只看单个成功率不报方差与失败类型
6.6 智能体与世界模型怎样让模型持续行动?它真的在「规划」吗?ReAct 的关键是 Observation 不由模型生成;function calling 的技术含量在 schema 设计;MCP 降低集成成本但不降低安全成本;同源反思会放大偏差;执行式判定更难刷分但仍有漏洞;世界模型 rollout 受复合误差限制把框架当成能力;以为反思能自我纠错;把「看起来会规划」当成「真的会规划」;把生成视频当可靠仿真
6.7 评估、不确定性与可信部署怎么别被骗?怎样把分数变成可上线的决策?四类评测各有失效方向,要看组合;污染有直接/近似/间接三条路径且无法被证明不存在;配对比较比平均分差可靠;模型系统性过度自信,弃答阈值是业务决策;缓存与分流是部署里回报最高的两步用单榜第一名选型;把「没主动放测试集」当作无污染;用平均值估算成本而非 P95;回滚只切模型不管提示与配置

本讲地图

                    [6.1 大语言模型:自监督预训练 → SFT → 对齐]
                      预测下一个 token / tokenizer / 数据 / KV cache
                                      │
                  「继续变大还有用吗?」│
                                      ▼
                    [6.2 缩放律与「能力涌现」]
              幂律 · Chinchilla 的 D≈20N · 数据墙 · 涌现之争(并列)
                                      │
                     「不改参数还能提升吗?」
                                      ▼
                    [6.3 提示、思维链与推理模型]
          条件化 · CoT · 自洽性 · 测试时计算三形态 · RLVR/GRPO · 蒸馏
                                      │
        ┌─────────────────────────────┼─────────────────────────────┐
        ▼                             ▼                             ▼
  [6.4 多模态]                  [6.5 具身 / VLA]              [6.6 智能体 / 世界模型]
  CLIP 对齐 / VLM 三段式        动作 token 化 / 连续生成        ReAct / function calling
  视觉 token 预算 / 语音         数据三条来源 / 安全评测         工具协议 / 记忆规划反思
  扩散语言模型                                                 世界模型 / 模拟器之争(并列)
        └─────────────────────────────┼─────────────────────────────┘
                                      ▼
                    [6.7 评估、不确定性与可信部署]
        四类基准 · 污染对策 · 配对比较 · 校准与弃答 · 部署五件事 · 四道闸门

  依赖关系:6.1 → 6.2(缩放律是对「预训练为什么值得投入」的定量回答)
            6.1 → 6.3(提示发生在冻结的预训练模型上;对齐改的是倾向不是能力)
            6.3 → 6.6(推理模型的测试时计算,与智能体的多轮循环是同一「用算力换质量」思想)
            6.4 → 6.5(VLA 的视觉骨干与指令理解都来自 VLM)
            6.4 / 6.5 / 6.6 → 6.7(越贴近真实使用,评测与部署纪律越关键)
            6.2 ↔ 6.7(数据污染、合成数据塌缩、评测失效是同一结构性问题的三个侧面)

本讲新增的概念(相对旧版讲义)

组概念首次出现
语言模型基座困惑度的可读解释与跨分词器不可比性、交叉熵=压缩码长的命题、字节级 BPE、每字节比特数(BPB)、数据管线四步(抽取/过滤/去重/配比)、指令数据四条来源与偏置、KV cache 显存估算与长上下文设计6.1
缩放与数据幂律 + 不可约损失、C≈6NDC\approx6ND 的算力交换、Kaplan 与 Chinchilla 的方法差异、计算最优与推理最优的区别、数据墙、模型塌缩、涌现的乘积效应判据(Acc=pk\mathrm{Acc}=p^k)6.2
推理与测试时计算少样本/零样本 CoT 的三个机制、CoT 不忠实性、自洽性的失败条件、测试时计算三形态(长 CoT / 多采样 / 搜索+验证器)、ORM vs PRM、GRPO 的组相对优势、RLVR 的可验证面边界、长 CoT 蒸馏、奖励过优化6.3
多模态对比损失的温度敏感性、VLM 三段式与「连接器便宜 token 贵」、动态分辨率/切片/重采样三类处理、Whisper 的弱监督规模效应、全双工约束、掩码扩散语言模型、多模态幻觉四来源与探针式评测6.4
具身VLA 的四重错配、动作分块与频率解耦算术、动作 token 化的精度上限、流匹配/扩散动作生成与多峰分布、动作表示三笔账(归一化/旋转/精度)、具身可复现清单八项6.5
智能体ReAct 三环节与 Observation 的外部性、工具 schema 设计四原则、不可逆操作隔离、MCP 的角色划分与信任边界、记忆/规划/反思的上下文工程本质、编排三层次选型、执行式评测四件套、世界模型与复合误差、模拟器之争双方证据6.6
评估与部署四类基准与各自失效方向、污染三路径与六条对策、配对比较与统计功效、ECE 与可靠性图、风险—覆盖曲线与弃答阈值、部署五件事、行为监控指标、四道闸门6.7

时效声明:本讲的版本时点与来源纪律

这一节是本讲与其余各讲最大的体例差异,请务必读完。

版本时点

本讲的素材以 2023–2025 年为主线,含少量必要的前置经典(标注原年份)。因此:

  • 模型版本、榜单名次、定价、上下文窗口数字会迅速过期。本讲给的是量级与结构(例如「一张 336² 的图约 576 个视觉 token」「10 万 token 会话的 KV cache 约 33 GB」),这些是可由算式复核的;一旦读到具体产品的规格数字,请视为写作时点快照并自行核对官方页面。
  • 缩放律的常数与评测的分数尤其易变。本教程的处理方式是给趋势与算式,不给「可以背下来套用」的点值(见 6.2.1 与 6.7.3)。
来源纪律(写进正文的四条规则)
  1. 论文引用给「标题 + 年份」,有 arXiv 编号就附编号。编号一律取自可核查来源,绝不编造;凡素材中标注「无 arXiv / 编号未确认」的条目(如 MCP 规范、Sora 技术报告、o1 系统卡、Genie 后续版本、FLUX 权重、FSDP2 文档、部分 Nature 论文),本讲只指向官方页面或会议/期刊,不给编号。
  2. 数据来源分三类标注:① 课程/论文事实(可溯源);② 工程惯例(注明「社区默认做法 / 经验共识」);③ 本教程的推理(用「本书认为 / 建议」)。
  3. 算例中的数字分两种:凡可复核的(token 数、显存、频率、二项概率)都给出算式;凡示意性的(对照表中的成功率、成本倍数、PPL 数值)明确标注「示意」,不作为任何论文的实测值引用。
  4. 争议话题必须并列证据,禁止「众所周知」「研究表明」这类无主语表述。本讲的三处并列点已在「七节一览」表中标出。
关于页面内链与延伸阅读地图的写法(阅读 `src/reading.md` 时的注意事项)

本讲与全书的延伸阅读入口集中在 延伸阅读地图。阅读该页时请留意三类链接的不同写法与含义:

写法 含义 例
同仓相对路径(以 ../ 开头,带 .md) 指向本书其他页面,链接到本讲的节页写作 ../lectures/lec06/sec67.md 延伸阅读地图 中的「6.7」指向本讲的评估一节
站点内绝对路径(以 / 开头、以 .html 结尾) 指向构建后的站点页面(跨书引用姊妹教程时使用,由构建脚本处理),不是 mdBook 相对链接,预览时可能显示为普通文本 该页「姊妹书」一行用 /matrix/book/index.html 这类路径指向同仓的《矩阵论》
外部 URL(https://) 指向真实存在的课程 / 论文 / 开源仓库页面 如 https://stanford-cs336.github.io

三条使用纪律:

  1. 本讲内部的交叉引用一律用「相对路径 + 锚点」,例如 [6.3.2](sec63.md#sec-6.3.2);引用本讲某节的公式/定义用锚点语法 [@def-6.1.1]。
  2. 节页链接可能在写作期尚未创建。本仓的约定是:SUMMARY.md 定稿即宣告节页存在,各讲按定稿编号互相引用(例如本讲引用 ../lec02/sec25.md)。读到暂时不存在的链接不等于写错了——但引用时必须与 SUMMARY.md 的标题与编号一致。
  3. reading.md 里的热度数据(★、可达性)是调研时点的实测值,会随时间变化;该页已自行声明这一点。本讲引用它时只把它当作索引,不把其中的数字当作事实结论。

与实验和项目的关系

  • Lab 3 · 微调一个大语言模型 是本讲最直接的落地:加载预训练模型 → LoRA 微调 → 评估生成。它对应 6.1 的「预训练 + 后训练」最小工程化身。做 Lab 时请有意识地把三件事记录下来:用了什么分词器、SFT 数据有多少条且如何分布、评估用了什么指标与几次重复——这三项正是本讲反复强调的「报告纪律」(6.1.3、6.1.5、6.7.3)。
  • Lab 1 · 音乐生成 的字符级序列生成是「下一个 token 预测」的最小版本:把温度调一调,你会亲手体会 6.1.1 里「似然与多样性」的取舍,以及 6.3.2 中「多采样 + 投票」的原始形态。
  • Lab 2 · 人脸检测系统 提供视觉骨干与检测流程;6.4 的 VLM 是它的「语言侧延伸」——若你想做一个「用自然语言查询图像中的目标」的小系统,Lab 2 的检测模型可以直接当作工具接进 6.6 的 function calling 框架。
  • 期末项目:本讲可选题面很宽,几个成本可控且能产出可验证结论的方向——① 在自建小测集上复现「涌现是否依赖度量」(固定模型族,画离散指标与连续指标两条曲线,见 例 6.2.3);② 亲手跑一次评测并做污染检查(用 lm-evaluation-harness 在本地模型上跑一个基准,再与训练语料做 n-gram 比对);③ 给一个多模态任务设计「错误归因探针集」(照 例 6.4.4 的六类探针改造到自己的任务上);④ 搭一个最小 ReAct 智能体并测它的失败模式(统计循环次数、无效工具调用率、以及有没有出现「未确认的不可逆操作」)。选题时先把评价函数写清楚,再动手(6.7.6)。
怎么用这一讲

第一遍(约 4–5 小时,建立地图):按 6.1 → 6.2 → 6.3 顺序读,然后按兴趣在 6.4 / 6.5 / 6.6 中选一到两节,最后必读 6.7。目标是能画出「预训练 → 后训练 → 提示/推理 → 多模态/具身/智能体 → 评估」这条主线,并说出每一环里最容易被高估的那一点。

必读、不许跳的框:

  • 每个 def 之后的 intuition——这一讲的手感几乎全在这里(尤其 6.2.2 的「等比例扩张」与 6.3.3 的「三条形态」);
  • 6.1.1 的命题 6.1.1(交叉熵=压缩码长,本讲唯一的「必须会推」的地方之一);
  • 6.2.4 的两方论证与 例 6.2.3(把台阶还原成斜坡的手算);
  • 6.3.2 的自洽性反例(p<0.5p\lt0.5 时投票更差——这是最反直觉的一条);
  • 6.6.7 的复合误差估计(世界模型可用长度的算法);
  • 6.7.2–6.7.6 全节——这是本讲最可迁移的工程纪律。

二刷(约 5–6 小时,补齐中间步骤):逐行读 proof 与所有的算式——6.2.1 的算力交换、6.2.2 的反解 N,DN,D、6.3.2 的二项投票、6.4.2 的视觉 token 账、6.5.1 的频率—延迟算术、6.7.4 的 ECE 与阈值决策。二刷结束时,你应该能在不看正文的情况下复述这些算式的假设与结论边界。

动手:三个最小实验,每个半天以内——① 用同一模型、同一批题,跑两次不同提示,亲手测出「几个百分点」的方差(6.7.3);② 给一道多步题采样 8 条 CoT 并做投票,观察准确率是否真的提升、失败时错误是否集中(6.3.2);③ 把一个待办任务写成 function-calling 工具集,检查自己有没有把不可逆操作暴露出来(6.6.2)。

自检路径:每节的「即时自测」→ 本讲习题集(A/B/C/D 四组)→ 闭卷回忆卡(当天 / 隔天 / 第 3 天 / 第 7 天)→ 综合自测卷(闭卷计时,100 分制)。

时间预算参考:只求建立地图、能读懂别人对前沿的主张,读 6.1、6.2、6.7 三节(约 2 小时);要能独立设计一个可分辨争议的实验并做出部署判断,走完全部两遍并完成上面三个动手实验(约 14–18 小时)。

第 7 讲引子:从「能力」到「后果」

本讲把模型从「文本续写」推到了有实际副作用的系统:它调用工具、驱动机器人、在环境里改变状态,而它的评测与部署都带着不确定(6.7)。这立刻引出下一讲要正面处理的问题——怎样让这些系统可控、可信、符合人类价值。

三处接缝值得预先记住:① 本讲反复出现的 Goodhart 结构(奖励上升质量下降、评测被优化、验证器被钻空子)在第 7 讲会以「对齐的限度」与「风险分析」的形式重新出现;② 本讲的工具输出与提示注入(6.6.3 的信任边界)是第 7 讲安全议题的直接入口;③ 本讲的弃答与校准(6.7.4)是「可信」在工程层面的最小可操作形态。

而在算力一侧,本讲提到的预训练、长上下文、长思维链与大规模 rollout 全部落在第 9 讲 的并行与显存约束里——本讲讲「能做什么」,第 7 讲管「该不该、稳不稳」,第 9 讲解决「怎么让它跑得动」。