预训练
提供语言、代码和世界知识的先验,决定能搜索什么。
#75 是一场 1 小时 14 分钟、录于 2024 年 9 月的 o1 解读。吴翼以 OpenAI 前研究员和强化学习研究者的视角,讨论预训练数据矿山、后训练与 RL、搜索/回溯、长上下文、链式思考、安全和研究组织。由于嘉宾无法也没有声称掌握 o1 内部实现,本文把官方披露、嘉宾推断和技术类比严格分开。
o1 的意义不应简化为“模型会想更久”。更准确的抽象是:系统把部分计算预算从一次性参数学习,迁移到测试时的搜索、验证、回溯和长链路推理;强化学习则学习何时继续探索、怎样组织中间步骤、如何在任务上获得更高回报。
提供语言、代码和世界知识的先验,决定能搜索什么。
让模型学习如何探索、分解、检查和使用反馈,而非只背答案。
在具体任务上用更长推理、候选比较和回溯换取质量,代价是延迟与成本。
| 时间 | 章节 | 关键问题 |
|---|---|---|
| 00:00–03:46 | 研究背景与 o1 预览 | 为什么前 OpenAI RL 研究员会把 o1 看作一次范式信号? |
| 03:46–10:33 | 更慢、更强与第二座矿山 | 推理链、搜索和推理时计算改变了什么? |
| 10:33–16:42 | RL 的三件事 | 奖励模型、探索搜索和任务分布为何必须耦合? |
| 16:42–29:57 | 从 DQN/PPO 到泛化 | 离线/在线 RL、长上下文、自博弈与通用推理如何连接? |
| 29:57–38:30 | 不能反向工程 o1 | 哪些是公开事实,哪些只是从行为反推的技术猜测? |
| 38:30–49:49 | Chain of Thought 与安全 | 中间思考如何帮助纠错、反事实探索和对齐? |
| 49:49–57:57 | 统一模型与 RL 成本 | 强垂直模型、统一模型与 AGI 时间表如何取舍? |
| 57:57–1:10:28 | Scaling 与 OpenAI 组织 | 研究路线、资源投入、博客传播和去中心化如何共存? |
| 1:10:28–1:14:11 | 离开之后 | 中国团队的 zero-to-one 与 RL 创业机会在哪里? |
吴翼把预训练比作第一座数据矿山,把后训练与 RL 比作第二座矿山。这个比喻不是“预训练到头了,所以不用扩模型”,而是指出:仅增加静态数据的边际收益可能下降,新的增量来自模型学会在任务中寻找、检查和修正答案。
官方 o1 材料支持大规模 RL、训练时与测试时计算扩展以及推理基准提升,但不能据此证明节目中关于内部搜索节点、模型统一结构、Q* 或 Strawberry 的具体猜测。本文保留这些话的启发价值,同时把它们放在“行为推断/传闻”层。
o1 使用大规模强化学习,能够在回答前进行更长的推理,且测试时计算与性能相关。
具体搜索树、回溯机制、合成数据管线和内部命名无法由公开视频独立证实。
访谈将 RL 拆成三个相互影响的组件:奖励模型/评价器、搜索与探索机制、以及被优化的 prompt/任务分布。奖励错误会把搜索引向捷径;搜索不足无法发现更好策略;任务太窄则会得到考试技巧而不是泛化。工程上还要加上 rollout 基础设施、并行度、成本、数据过滤和安全约束。
| 组件 | 它解决什么 | 失败时会怎样 |
|---|---|---|
| 评价器 | 判断候选行动是否更接近目标。 | 奖励黑客、形式正确但目标错误。 |
| 搜索/探索 | 产生多条路径,允许比较与回溯。 | 只重复熟悉策略,长任务中途卡住。 |
| 任务分布 | 定义什么样的泛化值得学习。 | 基准分数上涨,陌生环境表现下降。 |
| 基础设施 | 承受长 rollout、缓存、并行和过滤。 | 成本过高、反馈太慢,无法迭代。 |
吴翼描述 o1 的行为像在草稿纸上展开长链:提出假设、检查约束、发现矛盾、回到更早节点,再尝试另一路。无论内部实现是否正是树搜索,这种行为抽象都揭示一个生产事实:难题的成本不只在得到答案,而在保留足够的中间状态以便比较路径。
链式思考也可能帮助安全:模型在行动前显式检查边界、推演反事实,能够降低一部分冲动式错误。但中间文字不自动等于真实思考,也不自动提供可审计的因果证明;安全仍需要策略、分类器、工具权限、拒答和外部验证的组合。
数学和代码之所以先受益,是因为有较清晰的规则、执行器与验证器。吴翼认为 RL 不应停留在这些垂直领域,下一步要让模型在更开放的任务上学习;但开放环境的奖励稀疏、目标含糊、反馈延迟和安全代价会显著增加难度。
程序测试、数学证明、结构化规则,能把错误较快变成信号。
研究、写作、分析需要引用、事实检查和人类审美共同评分。
长期战略、人际关系和真实世界行动,结果可能数月后才显现。
因此“通用推理”不是把数学技巧平移到所有职业,而是建立能承受长反馈、部分可观测状态和责任后果的新环境。没有环境,模型只是在更长地谈论自己。
吴翼回忆 OpenAI 早期既有自上而下的方向判断,也允许不同研究团队探索。博客与公开发布同时承担知识传播、人才吸引和品牌信号的功能;大规模资源投入则把可行路线的实验速度拉高。最终“赢了”并不意味着其他路线从一开始就显然错误,Vicarious、Semantic Machines 等路径说明研究历史包含大量偶然性。
组织启示是双重的:方向需要集中,否则算力与人才无法形成规模;路径需要分散,否则团队会把领导者的假设当作事实。对 RL 创业者而言,“stay on the table”比一次漂亮 demo 更重要——能否在数据、算力、评价和客户反馈尚未成熟时活下来。
把 o1 看成推理时计算的代表,还需要避免另一个误区:增加思考预算不等于增加有效搜索。若任务规格含糊、评价器错误或中间状态不可验证,模型可能只是更长地走向同一个错误。工程落地时应为每类任务分别记录“多花一秒钟带来多少正确率”“多一次回溯减少多少严重错误”“人工确认节省了多少时间”,并把拒答、超时和成本上限写进同一份验收协议。只有这样,推理预算才从研究 demo 变成可以运营的产品旋钮;否则用户支付的是等待时间,而不是更可靠的答案。更重要的是,预算增加后错误是否更容易发现和恢复,而不只是让错误拥有更长的解释。对开发者而言,最有价值的不是展示一条漂亮的思考链,而是让评价、搜索和回滚都能被独立测试。推理的价值最终要在结果账本里体现,而不在字数里体现。它应当帮助系统减少重复劳动、缩短验证循环,并让人类把注意力留给真正不可自动化的判断。这是生产系统而非演示系统的清晰分水岭,也应当更可复核、更可运营。
正文以 #75 的完整逐句材料为主,保留吴翼与张小珺说话人映射。吴翼是前 OpenAI RL 研究员,但不能代表 OpenAI 对 o1 的内部披露;关于搜索树、Q*/Strawberry、具体 reward model 和组织细节的表达,均按嘉宾推断、传闻或技术类比处理。
证据顺序:节目原始材料 → 官方研究/系统卡 → 本文分析。完整精确文字、章节阅读版、SRT 与审计结果保存在私有材料区;公开页提供结构化深读,不复刻整期逐字稿。