主要证据
- How NuminaMath Won the 1st AIMO Progress PrizeS2 · 官方机构来源 · 官方公告 · 2024-07-11
- Numina solution to the first AIMO Progress PrizeS1 · 主要研究来源 · 代码仓库
NuminaMath 以开放工具型数学模型赢得首届 AIMO Progress Prize
获胜系统在 DeepSeekMath-Base 7B 上微调，并结合思维链、Python 工具执行、自一致性与内部验证集。
发生了什么？
NuminaMath-7B-TIR 在私有测试集 50 道题中解出 29 道，赢得首届 AIMO Progress Prize。
为什么重要？
它为封闭前沿数学系统提供了开放可复现的对照，并推动工具集成数学推理进入主流。
重要性说明：NuminaMath 展示了较小规模的开放模型配合工具集成推理与高质量数学数据，也能在公开 AI 数学竞赛中取得领先。
历史脉络
证据与状态一览
- 重要性
- H2 · 领域里程碑
- 验证状态
- 部分核验
- 证据等级
- E3 · 可检查工件
- AI 角色
- AI 主导、人类核验
- 形式保障
- 有形式化工件
贡献与验证
- 数学新颖性
- 基准结果
- 接口
- 非形式化, 数值, 混合
- AI 贡献
- 模型在推理过程中生成解题步骤并调用 Python 求解竞赛问题。
- 人类贡献
- Numina 与 Hugging Face 团队整理训练数据、设计 TIR 解码并调优竞赛系统。
- 验证状态
- 部分核验 · E3 · 可检查工件 · 有形式化工件
- 最后审阅
- 2026-09-11
技术细节
- 系统
- numinamath
- 机构
- numina, hugging-face
- 数学问题
- aimo-progress-prize
- 方法
- tool-integrated-reasoning, self-consistency, fine-tuning
全部来源与工件
- How NuminaMath Won the 1st AIMO Progress PrizeS2 · 官方机构来源 · 官方公告 · 访问于 2026-09-10
- Numina solution to the first AIMO Progress PrizeS1 · 主要研究来源 · 代码仓库 · 访问于 2026-09-11
验证历史
- 2024-07-11 · 部分核验 · E2 · 研究记录
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
- 2026-09-11 · 部分核验 · E3 · 可检查工件
本轮 corpus 刷新增补了由作者或发布机构维护、可直接检查的公开产物。E3 表示证据已达到可检查 artifact 层级，并不等同于底层科学或数学主张已获得独立验证。
更正
当前没有记录的更正。