钛媒体 App 12 月 24 日消息，字节跳动 Seed 团队宣布推出形式化数学推理专用模型 Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。Seed Prover 1.5 的技术报告已对外公开，后续将开放 API，邀请感兴趣的数学和 AI 研究者体验该模型。（广角观察）