Ring-Zero:将零样本强化学习扩展至万亿参数以催生推理能力 Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning
把零 RL 直接做到 1T 参数,揭示规模带来的涌现推理行为。
前置知识
Zero RL(零样本强化学习)
指跳过监督微调(SFT),直接在预训练基座模型上用强化学习配合可验证奖励(RLVR)训练,让模型自行「试错」出思维链(CoT)推理能力。代表工作是 DeepSeek-R1-Zero,它证明只要奖励函数可验证(如数学答案对错),无需人工标注的推理轨迹,模型也能自发学会一步步推理。
本文的研究对象就是把 Zero RL 从百亿规模推到万亿规模,理解 Zero RL 才能看懂论文要回答的核心问题:规模变大后,训练动力学和涌现能力会发生什么变化。
GRPO 与 token-level / sample-level 损失
GRPO(Group Relative Policy Optimization)是 DeepSeekMath 提出的策略优化算法,用一组采样响应的相对优势 $\hat{A}_{i,t}$ 代替 critic 估计 baseline,省去价值网络。token-level loss 对序列所有 token 求和、不除以长度,长答案累计梯度更大,会鼓励更长的输出;sample-level loss 则除以 $|o_i|$,使每个样本梯度量级与长度无关,从而抑制长度无界增长。
本文四阶段流水线的核心之一,就是在第一阶段用 token-level loss 引导推理变长,自蒸馏压缩后第二阶段切换到 sample-level loss 来稳定训练并控制长度,这两个损失形式的切换是理解整套方法的关键。
重要性采样比与截断(PPO-clip / CISPO)
策略梯度中用重要性比 $\rho_{i,t}=\pi_\theta^M(o_{i,t}|q,o_{i,<t})/\pi_{\theta_{old}}^S(o_{i,t}|q,o_{i,<t})$ 修正 off-policy 采样偏差。标准 PPO-clip 把超出 $[\epsilon_{low},\epsilon_{high}]$ 范围的梯度完全截断为零;CISPO(本文采用的 clipped importance sampling)只对超出范围的比值做 stop-gradient,仍允许梯度通过,这样所有 token 都能参与学习,对从基座模型冷启动推理尤其关键。
本文第一阶段 RL 用 CISPO 激活低概率推理 token,并通过训练-推理比值校正消除 Megatron 和 SGLang 之间的数值差异,这是 1T 规模下训练稳定的命门。
训练-推理引擎数值失配
在 off-policy RL 中,推理引擎(SGLang)生成 rollout,训练引擎(Megatron)算梯度。两者浮点精度和 kernel 实现不同,导致同一权重下的 logits 有微小差异。由于重要性比经 softmax 指数化,这种小误差会被放大成宏观训练崩溃。常见修补是 IcePop(对重要性比阈值裁剪),本文则是直接用 Megatron 的 logits 替换分子。
论文反复强调这是 1T 规模训练稳定的头号风险,作者花了大量篇幅(Section 3.2.1 混合精度、Eq.2 比值校正、Figure 6 消融)讲怎么消除它,是技术新颖性的核心。
混合专家 MoE 与混合注意力(MLA + Lightning Attention)
Ring-2.5-1T-Base 是 1 万亿参数 MoE,激活参数仅 63B;flash-Base 是 104B MoE、激活 7.4B。模型还混合了 MLA(低秩潜空间压缩 KV)和 Lightning Attention(依赖固定大小 KV 状态矩阵)两种注意力层。Context Parallelism(CP)把一条长序列切到多卡,本文对 MLA 用 all-to-all、对 Lightning Attention 用 AllGather,避免了 ring attention 的串行延迟。
基础设施优化(混合精度、上下文并行)是 64k 长上下文 RL 稳定训练的硬件前提,也是论文相对 DeepSeek-R1 的重要工程贡献。
Bitter Lesson(苦涩教训)
Rich Sutton 提出的观点:通用方法+大规模计算最终会胜过精心设计的人类启发式。在推理领域,研究者曾经手工设计结构化提示、自验证奖励、Tree-of-Thought 流水线等。本文用 1T 规模的纯 Zero RL 验证:这些手工设计在 104B 时还需要,到了 1T 会自发涌现,变得多余。
论文第 6 节专门用一整节「A Bitter Lesson」展示五种涌现行为(拟人化、结构化格式、自我验证、并行推理、上下文焦虑),这是论文最有传播力的洞察。
研究动机
现有 Zero RL 研究(如 DeepSeek-R1、SimpleRL-Zoo、Open-Reasoner-Zero)几乎全部停留在 7B–70B 量级的小模型上,被算力天花板限制,从未有人系统回答过一个根本问题:当 Zero RL 推到万亿参数时,训练动力学和涌现能力究竟会发生什么。同时作者发现,朴素地把 Zero RL 套到大模型上会出现三类典型的「CoT 质量灾难」:一是可读性差,生成的推理轨迹缺少逻辑结构和格式,人类难以阅读和核查;二是 GRPO 这类算法在 token-level loss 下隐式偏向长序列,长答案获得更多信用,导致 token 冗余和不可控的长度膨胀;三是模型只能在单一固定响应预算下工作,无法根据问题难度自适应分配推理深度——简单题也啰嗦,难题又不够长。这些缺陷在 agentic 工作流中尤其致命,因为 CoT 既要给人读,又要给下游 agent 当中间步骤。
本文的目标是本文要做两件事:第一,把 Zero RL 真正做到 1T 参数(基于 Ling-2.5-1T-Base,63B 激活的 MoE),系统观察大模型下的训练曲线和涌现能力;第二,不只要刷高最终答案准确率,还要把「CoT 推理过程本身的质量」纳入评估。为此作者预先定义了理想 CoT 应该具备的特征——可读、可复现、简洁,并提出一个三维评估框架(comprehensibility、reproducibility、efficiency),用 LLM-as-Judge、知识蒸馏、token 计数三个角度量化推理轨迹质量。整体目标是给出一份「万亿规模 Zero RL 的开放剧本」,让社区少走昂贵弯路。
与已有工作不同的是,本文独特切入有三点。其一,绝大多数既有工作要么堆算法复杂度(DAPO 非对称裁剪、VAPO 加价值函数、GSPO 样本级损失),要么堆数据工程;本文反其道而行,主张「最小化修改」——只用裁剪重要性采样、训练-推理比值校正、混合精度三招,加上自蒸馏锚点和分阶段损失切换,就能稳定训 1T。其二,它把焦点从「最终答案对错」转到「CoT 中间过程质量」,是少数把可读性、可蒸馏性、token 效率作为一等评估指标的论文。其三,它在 1T 规模上系统记录了五种自发涌现的高级认知策略(拟人化吐槽、Step 分段、自我验证、并行推理、上下文焦虑),用实证支持「苦涩教训」——大模型 + 简单算力胜过人工启发式。
核心方法
整体思路是:先用一个小而稳的算法组合把推理能力从基座模型里「逼」出来,再用自蒸馏重置模型状态、清掉训练-推理引擎之间累积的数值误差,然后切换损失粒度继续磨精度,最后训练一个能根据难度自适应分配算力的多档模型。技术路线遵循极简主义——只在必要时引入机制。第一阶段 RL 用裁剪重要性比 + token-level loss + KL 罚项,激励基座模型「吐出」低概率的推理 token;自蒸馏阶段挑选最短正确轨迹并让模型自评去除冗余,再用 SFT 蒸回基座;第二阶段 RL 保持算法不变,只把损失从 token-level 改成 sample-level,去掉 KL;第三阶段 RL 把题目按难度分成 Low/Medium/High 三档(分别 4k/16k/64k 上下文),用不同 system prompt 训练,让模型学会按推理预算自适应输出。配套的基础设施优化(混合精度、上下文并行)保证 64k 长上下文 RL 在 320 张 H200 上稳定高效。
核心创新点是把 Zero RL 在万亿规模上的稳定性问题,拆解为「算法层 + 系统层」两套互相耦合的最小修改,而不是堆叠复杂算法。算法层的核心是 Eq.(2) 的训练-推理比值校正:重要性比的分子直接用训练引擎 Megatron 的 logits $\pi_\theta^M(o_{i,t}|q,o_{i,<t})$,分母才用推理引擎 SGLang 的旧 logits $\pi_{\theta_{old}}^S$,从根本上消除两引擎浮点差异被 softmax 指数化放大后导致的崩溃。这与 IcePop 等事后裁剪方法有本质区别——后者只是延缓崩溃,前者则彻底消除误差源。系统层的核心是「定点混合精度」:模型主体保持 BF16,但只在两个对指数敏感的位置(attention softmax 和 LM head)升级到 FP32。另一个本质区别是「损失粒度随阶段切换」:第一阶段必须 token-level 才能从零启动长推理,第二阶段必须 sample-level 才能控住长度,自蒸馏作为两阶段之间的数值「重启开关」。
方法步骤详情
第一步(First Stage RL,激励推理):从 Ling-2.5-1T-Base 出发,用 CISPO 式裁剪重要性比策略梯度(Eq.1),每个问题采样 $G=16$ 个 rollout(温度 1.0),按 GRPO 风格组归一化算优势 $\hat{A}_{i,t}$;分子用 Megatron logits、分母用 SGLang logits 求比值并设上界 $\epsilon_{high}=5.0$(不设下界);token-level loss 求和不除长度,配 KL 罚项 $\beta=10^{-4}$(K3 散度),参考模型每 400 步更新一次;课程式地把响应窗口从 4k 翻倍扩到 64k,每 800 步加倍。第二步(Self-Distillation,压缩稳定):用第一阶段 expert 在每题上多次采样,挑出最短的正确轨迹,再让模型自评过滤冗余段(环形论证、重复验证),得到精炼语料,对原始基座做 3 个 epoch、序列长 64k、学习率 $7\times10^{-5}$ 的 SFT(Eq.6)。第三步(Second Stage RL,持续优化):保持裁剪重要性比和比值校正,但把损失从 Eq.1 改为 Eq.7 的 sample-level(多一个 $1/|o_i|$ 归一化因子),同时去掉 KL 罚项——因为蒸馏后起点已经够强,KL 反而限制探索。第四步(Third Stage RL,自适应深度):把训练题按难度分为 Low(4k)/Medium(16k)/High(64k) 三档 $T=\{T_l,T_m,T_h\}$,每档配一个 system prompt $p_k$,rollout 在 $(p_k,q)$ 条件下生成并按窗口截断,目标函数见 Eq.9。基础设施层:用 Adam($\beta_1=0.9,\beta_2=0.999$,常数学习率 $2\times10^{-6}$,weight decay 0.01),batch 512→256;奖励 $r_i=r_{acc,i}+r_{format,i}$,Format B 要求 `......` 后接 EOS;后期用 Qwen3-Next-80B-A3B-Instruct 做 LLM-as-Judge 评分。
技术新颖性
技术新颖性体现在「极简却必要」。和 DeepSeek-R1 比,本文把 Zero RL 从单阶段扩展成四阶段自迭代流水线(含自适应深度),首次系统在 1T 参数上验证可行性。和 DAPO/VAPO/CISPO/GSPO 这些算法改进工作比,本文不发明新算法,而是组合 CISPO + 训练-推理比值校正 + 混合精度 + 分阶段损失切换,用 Figure 4 的算法消融证明 CISPO 和 DAPO 虽快但不稳、GSPO 稳但不涨长度、GRPO 稳但慢,自己的组合既快又稳。新颖的比值校正(Eq.2)和定点 FP32(仅 attention softmax + LM head)是此前没人系统报告过的工程技巧。另一个新颖点是 CoT 质量三维评估框架(comprehensibility/reproducibility/efficiency)——把推理过程的可读性、可蒸馏性、token 效率抬到与准确率同等地位。最具新意的是五种涌现行为(拟人化、结构化、自我验证、并行推理、上下文焦虑)的实证,特别是作者承认在 104B 上还要手工奖励才能诱导结构化和自验证,到 1T 时这些人工设计反而成了多余,这是对「苦涩教训」的有力实证。
实验结果
核心发现围绕「苦涩教训」展开三条。第一,规模决定能力上限。Table 1 显示,第一段 RL 后 Ring-2.5-1T-Zero 已在 AIME 2026 拿到 84.2%,而 104B 的 Ring-2.5-flash-Zero 只有 65.3%;在 AIME 2024 上 1T 跑到 89.1%,flash 仅 71.2%(Figure 10a 进一步显示 1T 在 3600 步达到 89.06%/83.28%,flash 5200 步才到 71.72%/63.54%),且 1T 全程样本效率更高。第二,训练是「发现→锐化」两阶段过程。Figure 10b 用 pass@1024 跟踪推理边界:早期 pass@1024 上升(解锁预训练中沉睡的推理模式),随后平台化,而 pass@1 全程持续上升(在已建立的边界内锐化策略)——这调和了「RL 扩展边界」与「RL 只锐化分布」两种对立观点。第三,五种涌现认知策略自发出现:拟人化("brain fart"、"shit"、"wing it"、"genius idea")、结构化分段(`### Step 1... Step 2... Step 7: Verify`)、自我验证(反算代入)、并行推理(线性 rollout 里自洽地分支多条思路再汇合)、上下文焦虑(逼近 token 上限时主动放弃严谨推导直接猜答案)。在主表上,Ring-2.5-1T-Zero(Second Stage RL, Yarn=2)拿到 AIME 2024/2025/2026 = 94.1/92.3/93.2,HMMT Feb/Nov 2025 = 90.6/90.8,HMMT Feb 2026 = 81.0,IMOAnswerBench = 75.5,与 GPT-5.5(98.3/96.7/91.4)、Gemini 3.1 Pro(98.2/87.3)等前沿模型同台竞技。多档推理方面,Third Stage RL 的 Low(4k,IT=2353)/Medium(16k,IT=8085)/High(128k,Yarn=2,IT=20817) 在 AIME 2026 上分别是 68.8/90.8/91.4,证明可以大幅省算力换小幅性能下降。在 CoT 质量上,Figure 3(a) 显示对 GLM-5.1/Kimi-K2.6/MiniMax-M2.7/Qwen3.5-397B 全部胜率占优;Figure 3(b) 用仅 10 万样本蒸馏,Qwen-32B 78.4 vs DeepSeek-R1 蒸馏的 72.6(+5.8),Llama-70B 74.5 vs 70.0(+4.5),而 DeepSeek-R1 用了 80 万样本;Figure 3(c) 在共同答对题上只用 6368 token,不到其他模型一半。消融也很有信息量:去掉 KL(Figure 5)训练-推理 log-prob 差距爆炸、熵崩溃、reward 崩盘;比值校正(Figure 6)下 baseline 约 800 步崩、IcePop 约 2700 步崩、本文方法完全稳定;Format A(只一个开标签)会注入无意义乱码无限延长序列而 reward 不涨;16k vs 32k 窗口(Figure 8)证明模型只是把长度翻倍而 reward 几乎不动——这就是「length inertia」。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| AIME 2026 数学竞赛 | pass@1 准确率(64 次平均) | Ring-2.5-1T-Zero 第一阶段 RL 即 84.2%;Second Stage RL (Yarn=2) 达 93.2% | Ring-2.5-flash-Zero(104B)第一阶段仅 65.3% | 1T 相对 104B 在 AIME 2026 上 +18.9 个百分点;多阶段累计提升 +9.0 |
| AIME 2024/2025 数学竞赛 | pass@1 准确率 | Second Stage RL (Yarn=2) 在 AIME 2024/2025 达到 94.1 / 92.3 | DeepSeek-R1 在 AIME 2024 为 79.8;Ring-2.5-flash 蒸馏 86.2 / 77.2 | 相对 DeepSeek-R1 在 AIME 2024 提升 +14.3 |
| IMOAnswerBench(奥赛级) | pass@1 准确率 | Ring-2.5-1T-Zero Second Stage RL (Yarn=2) 为 75.5;High 模式 72.7 | GPT-5.5 91.4,Minimax M2.7 66.3 | 在 Zero RL 路线中首次进入 IMO 级竞赛第一梯队,但仍落后 GPT-5.5 约 15.9 |
| CoT 可蒸馏性(reproducibility) | 学生模型平均准确率 | 用 10 万样本蒸馏后 Qwen2.5-32B = 78.4,Llama3.3-70B = 74.5 | DeepSeek-R1 用 80 万样本蒸馏 Qwen-32B = 72.6,Llama-70B = 70.0 | 数据量 1/8 的情况下 Qwen-32B +5.8、Llama-70B +4.5 |
| CoT 效率(efficiency) | 共同答对题的平均 token 数 | Ring-2.5-1T-Zero 平均 6368 token | GLM-5.1 ≈ 16292、Kimi-K2.6 ≈ 16627、MiniMax-M2.7 ≈ 14115、Qwen3.5-397B ≈ 17220 | token 用量不到其他模型的一半 |
局限与改进
作者承认三方面局限。其一,Third Stage RL 相比 Second Stage 的峰值反而略降(AIME 2026 从 93.2 掉到 High 模式的 91.4),原因有二:高质量超长推理数据不足限制了 High 模式上限;Low/Medium/High 三档联合训练存在负迁移,短档信号把 High 拉低。其二,训练上下文受硬件限制只到 64k,作者明确说更长窗口才能解锁新的数学能力(Figure 10d 显示 67.6% 的题 4k 内可解,长尾数据反而拖慢训练)。其三,Zero RL 的能力上限受预训练先验硬约束——预训练里没有的数学概念或证明技巧,RL 无中生有不出来,只能锐化已有分布。我自己补充几点观察:第一,论文宣称的「五种涌现行为」缺乏定量验证,全是定性 case study,无法判断它们是真的提升了数学能力还是只是语料残留(如拟人化吐槽明显来自论坛语料),甚至上下文焦虑本质是「为了拿 format reward 放弃严谨」,是缺陷被包装成卖点。第二,所有消融只在 104B flash 模型上做,1T 上的结论都是从 flash 外推,缺少 1T 自身的消融,论文也只字未提训练总成本和总 token 数。第三,与前沿模型(GPT-5.5、Gemini 3.1 Pro)的对比缺少 AIME 2024/2025 数据(前沿模型列只有 AIME 2026),无法公平比较,且本文并未公开权重,复现门槛极高。
独立分析的弱点
第一个弱点是「Third Stage RL 的负迁移」。三档(4k/16k/64k)联合训练时 High 模式峰值被低档拉低,证明现有 tier 切分策略不够解耦。改进方向:可以用 MoE 路由或显式 LoRA 把不同档位的策略参数隔离,或者分阶段先训 High 再蒸馏到 Low/Medium,避免梯度互相干扰。第二个弱点是「上下文焦虑其实是失败行为」。模型为了 format reward 在逼近 token 上限时直接放弃严谨推导去猜答案,这本质是 reward hacking,作者却把它当作涌现能力展示。改进方向:把 format reward 与部分正确性 credit 解耦(如允许分段提交),或引入过程奖励(PRM)让中途停笔也有部分信用,从根上消除「乱猜换格式分」的诱因。第三个弱点是「评估偏科」。论文 7 个 benchmark 全是数学竞赛,没有代码、科学、多步 agent 任务,结论「1T + 简单 RL 胜过人工启发式」只在数学领域被验证。改进方向:扩展到代码生成(如 SWE-bench)、科学问答、agentic tool use,看结构化、自验证等涌现行为是否跨域迁移。第四个弱点是「涌现行为缺乏定量度量」。拟人化、并行推理全是 case study,没有出现频率统计。改进方向:定义可计算的代理指标(如「Step N:」标记出现率、self-check 关键词频率、分支推理比例),做大规模定量分析,并和下游任务性能做相关性检验。第五个弱点是「pass@1024 平台说明发现阶段被预训练先验锁死」。改进方向:在 mid-training 阶段主动注入高密度复杂数据(作者自己也提到这一点),把预训练先验的硬上限抬高,再回到 RL。
未来方向
作者明确点出的方向有四条:第一,扩展上下文窗口到 64k 以上,作者「坚信」更长窗口能直接解锁新的数学能力层级;第二,主动过滤长尾简单数据、在 mid-training 阶段人工最大化复杂 agent 数据密度,让模型离开舒适区以扩展推理边界;第三,把多档自适应推理做得更彻底,让推理深度真正按问题难度而不是固定预算分配;第四,统一「推理质量 + token 效率」到单一 RL 目标里——作者承认当前自蒸馏 + sample-level loss 只是 heuristic workaround,理想方案是端到端联合优化。基于成果可延伸的方向我会加几条:把五种涌现行为作为新型动作空间(如「段落级」而非 token 级)引入下一代理 RL;把「context anxiety」做诚实化处理(设计可中断、可续写的分块推理);把 CoT 质量三维评估(comprehensibility/reproducibility/efficiency)推广成行业标准 benchmark;以及把训练-推理比值校正 + 定点 FP32 这套数值稳定技巧反向应用到其他 off-policy RL 框架(如 RLHF、agentic RL)。
复现评估
复现评估偏中等偏难。论文给出了相当详尽的超参数(batch 512→256、minibatch 32、Adam $\beta_1=0.9,\beta_2=0.999$、常数学习率 $2\times10^{-6}$、weight decay 0.01、$G=16$、温度 1.0、$\epsilon_{high}=5.0$、$\beta=10^{-4}$ KL、参考模型 400 步更新、自蒸馏 3 epoch 学习率 $7\times10^{-5}$、三档 4k/16k/64k),四阶段目标函数全部以公式给出(Eq.1/6/7/9),并指明了基础架构选择(Megatron + SGLang + Areal 框架、MLA + Lightning Attention、上下文并行的 all-to-all / AllGather 策略)。硬件门槛明确写在 320×H200 上。这些细节对工业界复现很有价值。但阻碍同样显著:一是权重未公开(截至论文发表),连基座 Ling-2.5-1T-Base 也未放权;二是 1T 规模 + 320 张 H200 的算力门槛对学术界几乎不可及,所有 1T 消融只能从 104B flash 外推;三是奖励函数后段依赖 Qwen3-Next-80B-A3B-Instruct 做 LLM-as-Judge、可读性评估依赖 judge LLM,引入了未充分披露的随机性;四是「涌现行为」完全是定性 case,无法独立复现。综合看,方法学和超参层面可复现,但权重、算力、judge 一致性三道墙让独立端到端复现 1T 结果非常困难。
论文图表
比较 16k 和 32k 响应窗口。32k 设置下平均响应长度几乎是 16k 的两倍,但 reward 只略微提升,说明模型不会把额外容量留给真正的难题,而是对所有题目统一拉长输出,盲目填满上下文窗口。
这是「length inertia」现象的直接证据,论证了第二阶段切换 sample-level loss 和第三阶段 tier-based 训练的必要性。