#字节发布新数学推理模型#【#字节推出形式化数学推理专用模型SeedProver1.5#】12月24日消息，字节跳动Seed团队今日宣布推出新一代形式化数学推理专用模型Seed Prover 1.5，通过大规模的Agentic RL训练，其推理能力和推理效率宣称取得显著进步。

据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。（IT之家）