达到金牌分数线：字节跳动发布新一代数学推理专项模型SeedProver1.5

1近日，字节跳动Seed团队于12月24日推出了新一代形式化数学推理模型Seed Prover 1.5。该模型依托大规模智能体强化学习技术进行训练，在数学竞赛题的形式化证明方面的能力得到了提升。

根据官方披露的信息，该模型在IMO 2025的前五道题目中，仅用16.5小时就生成了完整且可通过编译验证的Lean证明代码，经换算其成绩达到了往届IMO的金牌分数线；而在Putnam 2025的12道赛题里，它耗时9小时便针对其中11道题目产出了可验证代码；此外，在Putnam历史评估数据集上，该模型的问题解决率达到了88%。

团队指出，目前模型依旧主要适用于“规则明确、背景限定”的竞赛类题目，和前沿数学研究中需要的长链条、依赖文献的推理能力还有差距。相关技术报告已经对外公布，接下来会开放API让研究者进行体验。