【财华社讯】12月24日，据"字节跳动Seed"公众号消息，字节跳动Seed团队近日推出新一代形式化数学推理专用模型Seed Prover1.5，通过大规模的Agentic RL训练，其推理能力和推理效率取得显著进步。相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。