公司动态 - 字节跳动Seed团队于12月24日宣布推出形式化数学推理专用模型Seed Prover 1.5 [1] - 相比上一代模型，Seed Prover 1.5在16.5小时内针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码 [1] - 该模型换算成绩为35/42，达到此前国际数学奥林匹克竞赛评分标准的金牌分数线 [1] - 公司已对外公开Seed Prover 1.5的技术报告 [1] - 后续将开放API，邀请感兴趣的数学和AI研究者体验该模型 [1] 技术进展 - 新发布的Seed Prover 1.5是形式化数学推理专用模型 [1] - 模型在解决国际数学奥林匹克竞赛级别问题上展现出强大能力，成绩达到金牌标准 [1]