公司技术进展 - 字节跳动Seed团队于12月24日宣布推出新一代形式化数学推理专用模型Seed Prover 1.5 [1] - 该模型通过大规模的Agentic RL训练，在推理能力和推理效率上取得显著进步 [1] - 相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码 [1] - 该模型换算成绩为35/42，达到此前IMO评分标准的金牌分数线 [1]