字节跳动发布数学推理模型 Seed Prover 1.5，刷新形式化推理新纪录

2025年12月24日，字节跳动Seed团队正式发布新一代形式化数学推理专用大模型 Seed Prover 1.5。该模型基于创新的Agentic架构与大规模强化学习训练，在高难度数学任务中取得突破性进展。

在最新测试中，Seed Prover 1.5 仅用16.5小时便为国际数学奥林匹克（IMO）2025年前五道题目生成了完整、可编译验证的Lean证明代码，换算得分达35/42，达到IMO金牌分数线水平。

技术报告显示，该模型显著提升了自动定理证明的效率与准确性，已在多项权威数学推理评测中刷新纪录。字节跳动表示，Seed Prover 1.5 的技术报告已公开，并将开放API，邀请全球数学与AI研究者共同探索形式化推理的前沿应用。