DeepScaleR:在竞赛数学中测试的小型推理模型

原标题DeepScaleR: A Small Reasoning Model Tested on Competition Math

Matthew Berman 回顾一个 1.5B 模型报告的基准结果,并在本地运行量化版本,测试一道 AIME 题目。

MBMatthew Berman讲者 · Forward Future
频道
Matthew Berman
发布
2025年2月12日
视频
6:50
阅读
4 分钟
幻灯片
3
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

2025 年 2 月,Matthew Berman 讨论 Berkeley 的 DeepScaleR-1.5B-Preview,这是在蒸馏后的 DeepSeek 模型上使用强化学习微调的模型。研究人员报告称,它在部分竞赛数学测试中有所提升;Berman 的本地演示生成了冗长的回答,他怀疑答案不正确。

  1. 1AIME 对比研究团队报告 DeepScaleR 在 AIME 2024 上的 pass@1 为 43.1%,并列出 o1-preview 为 40.0%。
  2. 2结果奖励与过程奖励Berman 对比了针对最终答案与中间步骤的反馈,并表示自己更喜欢后者。
  3. 3训练资源据报告,这次训练使用约 3,800 个 A100 GPU 小时、花费 4,500 美元,不包括先前模型开发。
  4. 4本地量化测试Berman 在 M2 Mac 上运行一道题,并对生成的答案表示怀疑。

要点建议

  1. 在所引用的对比中,DeepScaleR 报告的 AIME 2024 得分为 43.1%,高于列出的 o1-preview 的 40.0%。
  2. 选定的数学基准不能证明其在所有数学或一般任务上都更强。
  3. 模型从先前蒸馏得到的检查点出发,再使用强化学习进一步训练。
  4. 报告的 4,500 美元训练费用不包括此前的基础模型和更广泛的研究成本。
  5. Berman 的单次量化模型本地测试并非对完整评估的复现。
  6. 冗长的推理输出和生成速度不能保证答案正确。
全文

按章节阅读整理后的全文

只看原始文稿
01

DeepScaleR 与基准

Berman 介绍这个使用强化学习的小模型,并将报告的竞赛数学分数与 o1-preview 比较。这种对比不能证明整体优势。

2025 年 2 月,Matthew Berman 回顾 DeepScaleR-1.5B-Preview,这是 Berkeley 研究人员使用强化学习从 DeepSeek-R1-Distill-Qwen-1.5B 微调得到的模型。他对一个小模型在部分竞赛数学基准上超过 OpenAI 的 o1-preview 感到兴奋。但这一结果不能证明它在所有数学、常识或其他任务上都更强。

研究人员介绍了分布式强化学习和更长上下文训练。Berman 猜测“分布式”可能意味着集群分布在世界各地,但单凭这个术语不能确定其物理位置。团队报告称,这项工作使用了 4 万道数学题,并逐步扩展回答长度。

竞赛数学基准表
幻灯片 1 / 3竞赛数学基准表展示的表格报告了 DeepScaleR 和基线在特定数学测试中的结果。

团队的表格报告称,DeepScaleR 在 AIME 2024 上的 pass@1 为 43.1%,o1-preview 为 40.0%;在 MATH-500 上分别为 87.8% 和 81.4%。这些是特定评估设置下的历史基准结果,不能证明 1.5B 模型在每道数学题或相对于所有 o1 版本都更强。

02

奖励与训练成本

他解释结果奖励和过程奖励,并讨论研究人员报告的训练过程。引用的费用不包括此前所有模型开发成本。

Berman 对比了评估最终答案的结果奖励,以及对中间步骤提供反馈的过程奖励。他更喜欢过程反馈,因为它可以指出推理从哪里开始出错。这是他的观点;视频没有展示证明过程奖励总是更好的实验。

研究团队认为,强化学习能够改善已经用高质量蒸馏推理数据初始化的小模型。据报告,其 AIME 2024 得分从初始模型的 28.8% 升至 DeepScaleR 的 43.1%。Berman 认为这说明专门训练的小模型可能对狭窄任务有用;这并不意味着同样的提升会转移到所有领域。

研究团队的训练观察
幻灯片 2 / 3研究团队的训练观察摘录讨论了在蒸馏小模型上使用强化学习,以及迭代扩展上下文长度。

研究人员报告称,这次训练使用约 3,800 个 A100 GPU 小时,花费 4,500 美元。这是他们所报告的本次运行成本,不包括创建基础模型、原始蒸馏、数据、研究和基础设施的全部费用。Berman 指出团队发布了模型权重和训练代码,使其他人能够检查并在此基础上继续工作。

03

一次本地测试

Berman 下载量化版本,在 M2 Mac 上运行一道 AIME 题。尽管输出很长,他仍怀疑其答案。

Berman 下载量化的 GGUF 版本,在 M2 Mac 的 LM Studio 中本地运行,同时录制视频并执行另一项训练任务。他估计画面中的量化文件约为 1.12 GB,而全精度文件更大。硬件内存、上下文长度和运行环境都会影响特定设备能否运行;视频没有展示手机演示。

他给模型出了一道 AIME 题。模型生成冗长回答和一个 Berman 怀疑有误的最终答案;画面显示本次运行生成约 21,618 个 token,速度为每秒 44.7 个 token。长篇解释或快速生成不能证明正确性,一次量化模型本地测试也无法复现完整基准。

本地 AIME 回答
幻灯片 3 / 3本地 AIME 回答量化模型的冗长输出以一个 Berman 质疑的答案结尾。

Berman 总结说,本地运行的小模型可能对专门的推理任务有用。视频简介披露,他是 LM Studio 的投资者。更广泛的比较仍限于研究人员报告的测试和这一次本地演示。

同频道的其他文章

12 张幻灯片34:21EN → 简体中文
Matthew Berman· 2026年10月27日Matthew Berman 解读 Anthropic 的上市文件、AI 增长与治理Matthew Berman, Sam Altman · Forward Future主持人审视 S-1 中的财务指标、算力战略和投票结构,并质疑 AI 快速发展与安全之间的张力。AnthropicAI Safety企业 AI+2
2 张幻灯片0:36EN → 简体中文
Matthew Berman· 2026年10月25日Kimi K3.1 与魔方求解演示Matthew Berman · Forward FutureMatthew Berman 展示一个被打乱的虚拟魔方如何复原,并对 Kimi K3.1 的测试给予积极评价。评估编程智能体Open-weight models
6 张幻灯片25:50EN → 简体中文
Matthew Berman· 2026年10月24日Kimi K3.1 Pro 实测:3D 演示出色,表现不一,价格有竞争力Matthew Berman · Forward FutureMatthew Berman 测试这款开放权重模型的编程、3D 渲染和视觉讲解能力,并比较基准成绩与价格。Open-weight modelsBenchmarksAI cost & performance+1
2 张幻灯片32:20EN → 简体中文
Matthew Berman· 2026年10月23日本地 AI 究竟适合谁?成本、取舍与混合模式的未来Matthew Berman · Forward FutureMatthew Berman 权衡数据控制和自主权,与硬件成本、设置复杂度及推理速度之间的关系。Local inferenceOpen-weight modelsAI cost & performance+1
6 张幻灯片1:03:37EN → 简体中文
Matthew Berman· 2026年10月23日Matthew Berman 团队测试 Kimi K3.1:动画、游戏与图表Matthew Berman, Alex, Brian · Forward Future一场团队直播问答变成了对 Kimi K3.1 的非正式测试,内容涵盖个人智能体工作流、动态图形、浏览器游戏和基准图表。编程智能体Generative media评估+2
0:53EN → 简体中文
Matthew Berman· 2026年10月22日Sam Altman 谈 AI 与新知识的发现Sam Altman · OpenAIAltman 预计,数学发现方面的进展将延伸到生物学、材料和能源领域。AI for scienceMathematicsComputational Biology+1