12月24日，字节跳动Seed团队正式发布新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上取得了显著提升。

最新信息显示，该模型在IMO 2025的前五道题目上，仅用16.5小时便生成了完整可编译验证的Lean证明代码，换算成绩已达到金牌分数线。在Putnam 2025的12道赛题中，它用时9小时对其中的11道生成了可验证代码。在Putnam历史评估集上，该模型成功解决了88%的问题。

团队表示，当前模型仍主要面向“规则清晰、背景封闭”的竞赛题目，与前沿数学研究所需的长链条、文献依赖推理尚有距离。技术报告已公开，后续将开放API供研究者体验。