脑内推理
增加 thought tokens,让模型在回答前分解、搜索、反思和验证。
杨植麟把 Kimi K2 放进一条比“更大模型”更长的路线:AGI 不是一个终点,而是不断攀登可解决问题的无限山;推理 RL 和 Agentic RL 都是在做 test-time scaling,只是前者增加思考 token,后者增加与世界交互的轮次。真正的 Agent 不是把函数调用接到聊天框,而是让模型在陌生工具、长任务和可验证环境中持续学习、泛化、修正,并参与下一轮训练。
工具调用只是 Agent 的外观。一个真正能工作的 Agent 至少需要:能理解任务的 base model,能决定何时思考和行动的策略,能提供真实反馈的环境,能验证结果而不是只奖励格式的评价器,以及能保存并复用经验的训练/记忆系统。缺一项,系统都可能退化成“会调用 API 的文本生成器”。
增加 thought tokens,让模型在回答前分解、搜索、反思和验证。
增加工具轮次,让模型在网页、代码、文件和业务系统中取得新信息。
把成功、失败、奖励和环境课程重新编译为下一轮数据。
| 时间段 | 主问题 | 核心结论 |
|---|---|---|
| 00:00–00:18 | AGI、The Beginning of Infinity 与“继续爬山”。 | AGI 是方向和问题集合,不是一次发布会能证明的里程碑。 |
| 00:18–00:38 | Reasoning RL 与 Agentic RL 的共同本质。 | 两者都是 test-time scaling,分别扩大思考路径和世界交互路径。 |
| 00:38–00:58 | Kimi K2 的产品/训练取舍、Base Model、Agent first。 | 模型质量、工具环境和训练数据应从一开始联合设计。 |
| 00:58–01:20 | Muon、token efficiency、数据墙、Agent 评价与泛化。 | 成本效率可以延长 scaling 跑道,但不能替代真正的新信息与可靠验证。 |
| 01:20–01:41 | 开源、多模态、组织 RL、AI training AI 与未来判断。 | 模型公司最终要平衡创新、控制、生态、产品和世界级反馈。 |
访谈将工具定义为模型连接数字世界的接口:网页、代码执行器、文件系统、数据库和业务 API 都是模型之外的行动空间。单轮 function call 只是把字符串转换成结构化参数;Agent 需要在多轮中观察结果、解释错误、改变计划、决定是否继续,并承担时间、费用和权限后果。
这套定义把 Agent 与普通工作流区分开:如果所有路径都由程序员写死,模型只填参数,它更像自动化流程;如果模型能够在未见工具上形成操作假设,并通过反馈修正策略,才开始出现 Agentic intelligence。这里的关键难题不是“工具越多越好”,而是新工具的 schema、语义、失败模式和安全边界能否被抽象迁移。
杨植麟回顾 K1.5 后的判断:下一步不应只是继续做预训练、SFT 和更长对话,而要把训练目标转向能在工具环境中完成任务的模型。Kimi K2 官方仓库能核验的公开事实包括:它是 1T 总参数、32B 激活参数的 MoE;使用 MLA 注意力;预训练 15.5T tokens;以 Muon/MuonClip 为优化路线;模型说明明确把 tool use、reasoning 和 autonomous problem-solving 作为 agentic 目标。
这套路线有两层含义。第一,Base Model 仍然重要:没有足够的语言、代码、知识和推理先验,Agent RL 只会学到局部脚本。第二,Agent 能力必须在训练环境中被发现和强化:任务生成、工具接口、结果验证、错误恢复和长轨迹 rollout 不能等到产品上线后才补。
当训练环境本身集成了工具、上下文和任务分布,产品的一部分就被提前写进模型。用户看到的是一个入口,模型内部已经携带了对行动空间、结果格式和失败恢复的先验。这能缩短产品路径,却也增加锁定风险:工具变更、业务规则和安全政策一旦进入训练,更新成本会高于普通 prompt。
访谈把 Muon 讲成一种不完全依赖 Adam 的矩阵优化方法:通过矩阵正交化与更新几何,争取在相同训练计算下用更少 token 达到相近 loss。Kimi K2 官方材料确实将 MuonClip 作为大规模训练的公开技术点,并解释了超大规模下的稳定性处理。
杨植麟同时指出一个重要限制:数据重述能提高 token efficiency,却不必然增加世界信息;如果只是把同一事实改写更多遍,模型可能更快拟合分布,却不一定更强地泛化到未知任务。因而“每个 token 更有价值”必须拆成三个指标:达到相同验证损失所需的 token、在新任务上的信息增益、以及在等预算下的实际任务成功率。
数学和代码的优势在于结果相对容易验证:答案、测试、编译和形式规则可以产生较清晰的 reward。开放世界 Agent 则不同:网页内容变化、工具失败、用户目标模糊、任务价值多维,模型很容易学会钻评价器漏洞。训练得越多,越可能在固定 benchmark 上表现漂亮,却在未见任务上失去方向。
因此评价器要从“是否完成”升级为一组约束:结果正确性、过程成本、工具权限、可复现性、对新工具的迁移、遇到不确定性时的澄清,以及失败后的恢复。杨植麟把 eval 视为比算法更大的瓶颈,这个判断与 Kimi K2 的 agentic 定位是相互支持的:模型越长程,评价就越接近环境设计和产品责任。
适合测基线能力,但容易过拟合脚本与工具 schema。
把知识、规划、工具和恢复拼起来,更接近真实工作。
更能测泛化,但必须设计可审计的成功标准和人工复核。
访谈支持开源技术以加速社区和生态,但不主张把所有竞争资产全部公开。模型厂商的优势可能来自预训练、后训练、工具环境、产品入口、评价分布和数据回流的组合;下游仍有空间做领域工具、专有数据、企业权限和独特 offline interface。生态会向少数基础模型收敛,但产品创新不会全部消失。
对于“用户数据飞轮”,杨植麟保持克制:用户行为很嘈杂,直接拿来训练会把偏好、需求和偶发错误混在一起;Scaling Law 和可控的 token/compute 扩张更适合做确定性规划。用户的主要价值可能在评估、需求分布、商业回报和产品反馈,而不是原始日志本身。
杨植麟用组织管理类比强化学习:奖励决定团队把注意力放在哪里,SFT 像把先验和规则写进成员,探索则允许人提出未经验证的路线。只优化短期结果会产生 reward hacking;只靠明确流程会削弱主动性和创新。CEO 的核心工作不是选择“纯 RL”或“纯 SFT”,而是设计多指标奖励、允许失败的实验边界与能识别坏 reward 的复盘机制。
这个类比可以帮助我们理解 Kimi 的组织与模型路线,但不能把企业直接等同于算法。人有价值观、权力、职业风险与长期责任;模型的 reward 可以重置,组织的错误可能伤害真实的人。把“组织 RL”当作比喻有启发,作为管理制度仍需独立的申诉、停止权和安全审计。
访谈对多模态的判断是:视觉、音频和视频应尽量共享语言模型的推理能力,而不是各自拥有一个“笨模态脑”再做浅层拼接。这样做的理由不是统一架构本身更美,而是文本已经承载了大量世界知识、任务分解和抽象概念;多模态输入若能进入同一个推理空间,模型就可能把视觉观察转成可组合的行动计划。
但统一也有代价:模态数据噪声、生成目标差异和推理/感知的梯度冲突可能伤害文本能力。正确的验证不是“是否一个模型”,而是相同参数、数据、推理预算下,是否产生可迁移的跨模态能力,以及新模态是否减少了对人工模板和专用工具的依赖。
本笔记以 Zhang Xiaojun Podcast #113 的完整访谈为主材料,连续覆盖 1:41:13,speaker map 能区分杨植麟与张小珺。AGI 时间线、无限山、组织类比、早期 token efficiency、Agent 评价瓶颈、商业选择和未来预测属于创始人口述或判断;官方技术报告只用于核验公开模型配置、训练规模和方法,不推断未披露的内部实验。
访谈中提及的《The Beginning of Infinity》是思想背景,不是技术证据;本文不据此推导 AGI 时间表,也不构成模型或公司投资建议。