新榜讯 ，字节跳动Seed团队正式宣布推出形式化数学推理专用模型Seed Prover 1.5。据悉，与上一代模型相比，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，按此换算成绩可达35/42，已达到此前IMO评分标准的金牌分数线。目前，Seed Prover 1.5的技术报告已对外公布，后续还将开放API，诚邀对数学和AI研究感兴趣的相关人员体验该模型。