第 6 讲导览 · 新前沿
这一讲要解决的真实问题
前五讲已经把零件集齐了:第 2 讲的 Transformer 提供序列骨干,第 4 讲的生成模型给出采样框架与流匹配,第 5 讲的强化学习与偏好优化提供对齐工具。本讲把它们组装成今天最受关注的系统:大语言模型、多模态模型、具身智能体。
但这一讲与前五讲有一个本质差别,值得在开篇就讲清楚:前五讲的内容是收敛的,这一讲的内容是正在形成的。Transformer 的注意力公式十年后大概仍是这个样子;而「能力涌现是不是度量假象」「视频生成模型算不算世界模拟器」「合成数据能不能突破数据墙」这些问题,今天没有定论,且证据每月都在变。
所以本讲的教学目标不是给你一套结论,而是给你三样东西:
- 可用的工程判断:哪些数字可以直接用(频率、延迟、token 预算、幂律形状),哪些必须条件化(缩放律常数、评测分数、成功率)。
- 读取前沿主张的方法:看到一个「突破」时,知道该问哪四个问题(哪类基准、有没有污染、方差多大、部署代价多少)。
- 对争议的中立呈现能力:本讲有三处并列两方证据、不站队的地方——能力涌现(6.2.4)、世界模拟器之争(6.6.8)、评测污染与刷榜(6.7.2)。你要学的不只是两方说了什么,还有怎样的实验能分辨它们。
七节一览
| 节 | 核心问题 | 关键结论 | 典型陷阱 |
|---|---|---|---|
| 6.1 大语言模型:从自监督预训练到对齐 | 把 Transformer 放到极致地大、喂进海量文本,为什么能学出语言能力? | 预测下一个 token 的交叉熵字面上就是压缩码长;三段式(预训练 → SFT → 偏好对齐)缺一不可;tokenizer、去重、KV cache 是三条被低估的工程约束 | 跨 tokenizer 比较 PPL;把「对齐能激发潜在能力」当成定论;不 mask 指令损失 |
| 6.2 缩放律与「能力涌现」 | 规模变大,效果怎么变?「突变」是真的吗? | 幂律 + 不可约损失; 与计算最优配比 ;同一问题 2020/2022 两次结论相反,差别在方法;涌现之争须并列双方 | 把缩放律当物理定律背数字;把「涌现」读成「够大就万能」;用单一离散指标判断能力 |
| 6.3 提示、思维链与推理模型 | 不改参数,怎样用输入与推理期算力换准确率?天花板在哪? | 提示是条件化不是学习;CoT 用序列长度换串行计算深度,但未必忠实;自洽性在 或错误相关时会失效;测试时计算三形态;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 |
| 缩放与数据 | 幂律 + 不可约损失、 的算力交换、Kaplan 与 Chinchilla 的方法差异、计算最优与推理最优的区别、数据墙、模型塌缩、涌现的乘积效应判据() | 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 年为主线,含少量必要的前置经典(标注原年份)。因此:
- 论文引用给「标题 + 年份」,有 arXiv 编号就附编号。编号一律取自可核查来源,绝不编造;凡素材中标注「无 arXiv / 编号未确认」的条目(如 MCP 规范、Sora 技术报告、o1 系统卡、Genie 后续版本、FLUX 权重、FSDP2 文档、部分 Nature 论文),本讲只指向官方页面或会议/期刊,不给编号。
- 数据来源分三类标注:① 课程/论文事实(可溯源);② 工程惯例(注明「社区默认做法 / 经验共识」);③ 本教程的推理(用「本书认为 / 建议」)。
- 算例中的数字分两种:凡可复核的(token 数、显存、频率、二项概率)都给出算式;凡示意性的(对照表中的成功率、成本倍数、PPL 数值)明确标注「示意」,不作为任何论文的实测值引用。
- 争议话题必须并列证据,禁止「众所周知」「研究表明」这类无主语表述。本讲的三处并列点已在「七节一览」表中标出。
本讲与全书的延伸阅读入口集中在 延伸阅读地图。阅读该页时请留意三类链接的不同写法与含义:
| 写法 | 含义 | 例 |
|---|---|---|
同仓相对路径(以 ../ 开头,带 .md) |
指向本书其他页面,链接到本讲的节页写作 ../lectures/lec06/sec67.md |
延伸阅读地图 中的「6.7」指向本讲的评估一节 |
站点内绝对路径(以 / 开头、以 .html 结尾) |
指向构建后的站点页面(跨书引用姊妹教程时使用,由构建脚本处理),不是 mdBook 相对链接,预览时可能显示为普通文本 | 该页「姊妹书」一行用 /matrix/book/index.html 这类路径指向同仓的《矩阵论》 |
外部 URL(https://) |
指向真实存在的课程 / 论文 / 开源仓库页面 | 如 https://stanford-cs336.github.io |
三条使用纪律:
- 本讲内部的交叉引用一律用「相对路径 + 锚点」,例如
[6.3.2](sec63.md#sec-6.3.2);引用本讲某节的公式/定义用锚点语法[@def-6.1.1]。 - 节页链接可能在写作期尚未创建。本仓的约定是:
SUMMARY.md定稿即宣告节页存在,各讲按定稿编号互相引用(例如本讲引用../lec02/sec25.md)。读到暂时不存在的链接不等于写错了——但引用时必须与SUMMARY.md的标题与编号一致。 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 的自洽性反例( 时投票更差——这是最反直觉的一条);
- 6.6.7 的复合误差估计(世界模型可用长度的算法);
- 6.7.2–6.7.6 全节——这是本讲最可迁移的工程纪律。
二刷(约 5–6 小时,补齐中间步骤):逐行读 proof 与所有的算式——6.2.1 的算力交换、6.2.2 的反解 、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 小时)。
本讲把模型从「文本续写」推到了有实际副作用的系统:它调用工具、驱动机器人、在环境里改变状态,而它的评测与部署都带着不确定(6.7)。这立刻引出下一讲要正面处理的问题——怎样让这些系统可控、可信、符合人类价值。
三处接缝值得预先记住:① 本讲反复出现的 Goodhart 结构(奖励上升质量下降、评测被优化、验证器被钻空子)在第 7 讲会以「对齐的限度」与「风险分析」的形式重新出现;② 本讲的工具输出与提示注入(6.6.3 的信任边界)是第 7 讲安全议题的直接入口;③ 本讲的弃答与校准(6.7.4)是「可信」在工程层面的最小可操作形态。
而在算力一侧,本讲提到的预训练、长上下文、长思维链与大规模 rollout 全部落在第 9 讲 的并行与显存约束里——本讲讲「能做什么」,第 7 讲管「该不该、稳不稳」,第 9 讲解决「怎么让它跑得动」。