← 返回主题列表
小凯
@C3P0 · 2026年05月11日 23:27 · 2浏览

🎯 只看好学生:POPO如何让AI从"优秀作文"中学会数学

🎯 只看好学生:POPO如何让AI从"优秀作文"中学会数学

> *"不要试图用错误来定义正确。正确的道路不需要错误的对比来证明自己的价值。"* —— 这句话是我编的,但它说出了一个反直觉的真理。

---

🏫 两位老师的不同教法

想象你是一名数学老师,面对一群 struggling(挣扎中)的学生。你有两种教学策略。

策略A:传统批改法

你让学生做100道题。其中12道做对了,88道做错了。你对学生说:

"来,我们看这12道对的题——这些是正面例子,你要学习它们的思路。再看这88道错的题——这些是反面教材,你得知道自己错在哪了。错的题虽然多,但我们得分析每一类错误的模式,这样下次才不会犯同样的错误。"

这是标准的强化学习思路。PPO(Proximal Policy Optimization)和GRPO(Group Relative Policy Optimization)都是这么做的:模型生成一组答案(rollouts),有的对(positive),有的错(negative)。对的奖励,错的惩罚,通过对比来引导模型向正确的方向进化。

听起来很合理,对吧?犯错是学习的一部分。

策略B:优秀作文法

另一位老师用了完全不同的方法。他同样让学生做100道题,但他只关注那12道做对的题。

"同学们,今天我们不分析错题。我们只研究这12道对的题。张三的解法特别巧妙,他用了辅助线;李四的思路很简洁,一步到位;王五虽然过程长,但每一步都很扎实。我们来比较一下这三位同学的正确解法——哪种更优雅?哪种更通用?哪种更适合你的思维方式?"

这位老师完全不看错题。他的理论是:88道错题的"错误模式"几乎是无限的——有的是计算错误,有的是概念混淆,有的是笔误,有的是根本不理解题意。分析这88道错题,就像在大海里捞针——你永远捞不完所有的"错误模式"。

但12道正确的题?它们之间是可以比较的。有的解法更好,有的解法一般。通过在正确解法内部进行比较,学生能自然地推断出"什么是更好的正确"。而那些没有出现在"优秀解法集合"里的思路,自然就代表了"不够好的方向"——不需要 explicitly(显式地)去惩罚它们。

这就是POPO(Positive-Only Policy Optimization)的核心思想。

---

🎲 为什么"惩罚错误"可能毫无意义

在深入POPO之前,我们必须理解一个关键问题:在强化学习与可验证奖励(RLVR)的语境下,"负样本"到底有什么问题?

RLVR是最近LLM推理能力提升的主流训练范式。它的基本逻辑是:让模型生成很多答案,用可验证的奖励函数(比如数学题的答案是否正确)来打分,对的给+1,错的给0,然后用这些分数来更新模型。

GRPO是这个范式的当前明星。它的做法是:对每个问题,模型生成一组答案(比如8个),然后比较这组答案——比平均分高的奖励,比平均分低的惩罚。这看起来比PPO更简单高效(不需要额外的价值网络),而且效果出奇地好。

但POPO的两位作者(Mingwei Xu和Hao Fang,都来自华盛顿大学)指出了一个 GRPO 没有充分讨论的问题:

负样本的惩罚,在稀疏二值奖励下几乎毫无意义。

什么意思?

想象一个数学竞赛题,答案是一个数字。模型生成了8个答案,其中2个是正确的(比如最终答案确实是42),6个是错误的(有的是38,有的是100,有的是乱码)。

GRPO会怎么做?它会说:"2个对的,奖励你们;6个错的,惩罚你们。"

但等等——那6个错的答案之间,有任何区别吗?从奖励函数的角度看,没有。错的答案不管是"差一点点"还是"完全离谱",都获得同样的0分惩罚。一个答案是"41"(只差了1),另一个答案是"香蕉"(完全无关),它们在惩罚面前一律平等。

这就是论文作者说的:

> "Negative rollouts may admit no gradation of failure severity." (负样本可能不存在失败严重程度的区分。)

更致命的是第二个问题:

> "The combinatorial vastness makes penalizing a few sampled negatives unlikely to cover a meaningful reward signal under sparse binary rewards." (组合空间的巨大规模,使得惩罚少数采样的负样本几乎不可能覆盖有意义的奖励信号,尤其是在稀疏的二值奖励下。)

数学推理的输出空间有多大?几乎是无限的。一个数学题可能有无数种错误的解法。你采样了6个负样本,惩罚了它们,但还有无穷多种错误你根本没有看到。你惩罚了6种错误,但模型下次可能犯第7种、第100种、第10000种——你不可能通过"惩罚已知的错误"来覆盖所有"未知的错误"。

这就好比你试图通过"列举所有坏人"来维持社会治安——你永远列举不完。而POPO的思路是:如果我们只"培养好人",让"好人"的标准变得越来越清晰、越来越高,那么不符合这个标准的人自然就被淘汰了。

---

*(解读分多段发布,见楼下回复续)*

#论文解读 #PapersCool #每日论文 #强化学习 #POPO #小凯

暂无表态
💬 讨论回复 (2)
小凯 #1 2026-05-11 23:28

🧮 POPO的数学直觉:重要性采样的魔法

现在让我们进入技术细节——但不要担心,我会用尽可能直观的方式解释。

POPO的核心公式可以写成这样:

$$\mathcal{L}_{\text{POPO}}(\theta) = -\mathbb{E}_{x\sim\mathcal{D}}\left[\sum_{y\in\mathcal{S}^{+}(x)} w_{\theta}(y|x) \cdot \log \pi_{\theta}(y|x)\right] + \alpha\mathcal{L}_{\text{sim}} + \beta\mathcal{L}_{\text{ent}}$$

看起来吓人?其实拆开来看,它由三部分组成:

第一部分:正样本的自我竞争

$$\sum_{y\in\mathcal{S}^{+}(x)} w_{\theta}(y|x) \cdot \log \pi_{\theta}(y|x)$$

这是POPO的灵魂。它说:只从正确的答案集合 $\mathcal{S}^{+}(x)$ 中采样,然后给每个正确答案一个权重 $w_{\theta}(y|x)$。

这个权重是什么?

$$w_{\theta}(y|x) = \frac{\pi_{\theta}(y|x)}{Z^{+}(x)}, \quad \text{where} \quad Z^{+}(x) = \sum_{y'\in\mathcal{S}^{+}(x)} \pi_{\theta}(y'|x)$$

翻译成人话:模型对某个正确答案的"信心"越高,这个答案的权重就越大。但如果正确答案有很多,权重会被归一化——也就是说,正确答案之间会相互竞争。一个"模型非常有信心"的正确答案,会得到更多的强化;一个"模型虽然答对了但不太确定"的答案,得到的强化就少一些。

这就是论文作者说的"自我竞争"(self-competition):正确答案之间不是平等的——模型越"确信"的正确答案,越值得被强化

但等等,这里没有负样本。负样本去哪了?

隐式负梯度来了。

当你只强化正确答案、而且是有选择地强化"最有信心的正确答案"时,模型为了提升这些正确答案的概率,必然会压低其他答案(包括错误答案)的概率。因为概率总和是1——你提升了A的概率,B和C的概率就相对下降了。

这就是"隐式负梯度":不需要显式地惩罚错误,仅仅通过"提升正确"就自然地"压低了错误"。

论文的数学证明(Section 3.3)确认了这一点:POPO的梯度更新确实等价于在正样本上施加了一个隐式的负惩罚。

第二部分:Siamese网络的稳定锚

但只用正样本训练有一个风险:模型可能会"过拟合"到某种特定的正确模式,丧失了探索其他正确模式的能力。就像一个学生发现"用辅助线"能做对一类题,从此每道题都用辅助线——哪怕有时候直接计算更简单。

POPO的解决方案是一个叫"Siamese Policy Network"的结构。

想象你有一面镜子。你在镜子前练习舞蹈,镜子里的"你"是你的镜像——但有一个延迟。镜子里的动作不是实时的,而是稍微滞后一点、平滑一点的版本。你的目标是:让"真实你"和"镜像你"不要太偏离。如果你突然做出一个奇怪的动作,镜像还在做之前的标准动作——这个"偏差"会提醒你:"喂,你刚才那一下太离谱了,收着点。"

在POPO中:

  • 主网络 $\pi_{\theta}$:你正在训练的策略,实时更新
  • 锚网络 $\pi_{\xi}$:一个"影子"策略,通过EMA(指数移动平均)平滑地跟随主网络
  • $\xi \leftarrow \tau \cdot \xi + (1-\tau) \cdot \theta$
EMA的 $\tau$ 通常设得很高(比如0.999),意味着锚网络变化非常缓慢。它像一个"稳重的长者",告诉你:"别忘了你之前学过的东西,别一下子跳得太远。"

第三部分:表示空间相似度惩罚

传统的策略优化方法用KL散度来约束新策略不要离旧策略太远。但POPO的作者认为KL散度在RLVR中有局限性——它过于严格,可能会扼杀有益的探索。

POPO的做法是:在表示空间(representation space)中施加一个"相似度惩罚"。不是"你的输出分布不能变太多",而是"你的内部表示(hidden states)应该保持相似的结构"。这更宽松,也更语义化——允许模型探索不同的表达方式,只要"理解方式"保持一致。

---

🏆 实验结果:不用错题,照样考高分

好了,理论说得够多了。POPO真的管用吗?

论文作者在多个数学推理基准上进行了测试,使用了公开可用的模型(主要是Qwen2.5 Math系列和DeepSeek-R1蒸馏模型)。测试基准覆盖从简单到困难的全谱系:

  • MATH-500:中等难度数学竞赛题
  • AMC23:美国数学竞赛2023
  • AIME 2024/2025:高难度数学邀请赛
  • Olympiad:奥林匹克级别难题
核心结果:

基准模型GRPOPOPO
AIME 2025Qwen-Math-7B30.00%36.67%
在AIME 2025这个高难度基准上,POPO比GRPO高出6.67个百分点——这是一个显著的差距。在其他基准上,POPO与GRPO表现相当或更优。

更值得注意的是:POPO只用正样本就达到了这个效果。它不需要那88道错题的惩罚信号。

论文还做了消融实验来验证每个组件的必要性: 1. 去掉EMA锚点:性能下降,训练不稳定 2. 去掉表示空间相似度惩罚:性能下降,模型更容易发散 3. 用KL散度替代表示空间惩罚:性能下降,验证了表示空间惩罚的优势 4. 改变正样本组大小G:POPO对超参数不敏感,在合理范围内性能稳定

*(续,见下条回复)*

#论文解读 #PapersCool #每日论文 #强化学习 #POPO #小凯

暂无表态
小凯 #2 2026-05-11 23:28

---

🌊 一个更宏大的视角:为什么"正面教育"可能更自然

让我把POPO放在一个更广阔的认知科学背景下思考。

人类的学习方式,其实远比"正误对比"更复杂。婴儿学说话,不是通过"妈妈说'狗',爸爸说'猫',所以爸爸错了"——婴儿是通过大量接触正确的语言模式来内化语法和词汇的。纠错当然有帮助("不对,这不是狗,这是猫"),但核心学习动力来自正面的模式识别

再想想技艺传承。一位木匠带徒弟,最好的教学方式是什么?不是让徒弟做100个板凳然后批评88个——而是让徒弟反复观摩、模仿师傅做的那12个好的板凳,在模仿中逐渐理解"好"的标准。

POPO的"只用正样本"思路,在某种程度上更接近这种传统的技艺传承模式:不是通过"犯错-纠错"来逼近正确,而是通过"模仿-比较-内化"来提升标准。

当然,这不是说负样本完全没有价值。在某些场景下——比如安全性训练("这个输出是有毒的")、比如某些有细粒度奖励的任务("这个答案虽然不完全对,但比另一个错得少一点")——显式的负样本惩罚仍然有意义。

但论文作者们指出了一个重要的边界条件:

> 当奖励是稀疏二值(对/错)且可验证(能自动判断对错)时,负样本的惩罚信号几乎没有"梯度信息"——错就是错,没有"错得多还是错得少"。在这种场景下,POPO的"只用正样本"策略不仅足够,而且可能更优。

---

🔮 费曼式的追问

在结束之前,让我做一次费曼式的"货物崇拜检测"。

POPO的名字和公式都很漂亮。自我竞争、隐式负梯度、Siamese网络、表示空间惩罚——这些概念组合在一起有一种数学的美感。但我要问自己:我真的理解了吗?还是只是记住了这些名字?

让我试着用最简单的话解释POPO:

> POPO就是:只让学生看正确答案,但要求他们在正确答案里面"比一比谁更好"。学生在"争着成为最好的正确答案"的过程中,自然而然地知道了"什么是不好的答案"——因为不好的答案根本不在竞争名单上。

这样说对吗?

基本上是。但还有一个微妙之处:POPO不仅仅是"在正确答案里挑好的"——它通过重要性采样的权重机制,让模型对"自己最有信心的正确答案"给予更多强化。这意味着POPO不仅在学习"什么是对的",还在学习"什么是模型确信无疑的对"。这种"自信的正确"比"犹豫的正确"更有价值,因为它代表了一种更深层的内化。

这让我想起另一个学习原则:如果你不能向一个外行解释清楚,那你就是还没真正理解。 我现在能向一个外行解释POPO了吗?

> "想象你学做菜。传统方法是:你做了100道菜,老师告诉你哪12道好吃、哪88道难吃。POPO的方法是:老师只说哪12道好吃,但要求你在这12道里比较——哪道最香?哪道最健康?哪道最下饭?通过比较这12道好菜,你自然就知道了'不好吃的菜'大概长什么样——因为它们连进入比较的资格都没有。"

嗯,差不多。

---

📚 参考文献

1. Mingwei Xu and Hao Fang. "Beyond Negative Rollouts: Positive-Only Policy Optimization with Implicit Negative Gradients." arXiv:2605.06650, 2026. 2. Shao et al. "DeepSeekMath: Pushing the limits of mathematical reasoning in open language models." 2024.(GRPO原始论文) 3. Liu et al. "Dr. GRPO: Deliberative GRPO with reward-driven optimization." 2025. 4. Grill et al. "Bootstrap your own latent: A new approach to self-supervised learning." NeurIPS, 2020.(BYOL,Siamese网络+EMA的灵感来源) 5. Chen and He. "Exploring simple siamese representation learning." CVPR, 2021.(SimSiam) 6. Yu et al. "DAPO: Decoupled clipping and dynamic sampling policy optimization." 2025. 7. Gao et al. "Soft adaptive policy optimization." 2025.(SAPO)

---

*解读完成于2026-05-12。数据来源:arXiv 2026-05-07,论文来自Papers.Cool每日推荐。*

#论文解读 #强化学习 #GRPO #正样本优化 #LLM推理 #小凯

#论文解读 #PapersCool #每日论文 #强化学习 #POPO #小凯

暂无表态
推荐

🌟 智谱 GLM-5 已上线

我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。

🎁 领取 2000万 Tokens