Readhub
字节推出形式化数学推理专用模型 Seed Prover 1.5
2025 年 12 月 24 日
字节跳动 Seed 团队推出形式化数学推理专用模型 Seed Prover 1.5，相比上一代，该模型在 16.5 小时内针对 IMO 2025 前 5 道题生成完整可编译验证的 Lean 证明代码，换算成绩达 IMO 金牌分数线。其技术报告已公开，后续将开放 API 邀研究者体验。
展开全部报道
专业版功能体验专业版特色功能，拓展更丰富、更全面的相关内容。
专业版功能字节跳动 Seed 团队推出形式化数学推理专用模型 Seed Prover 1.5，相比上一代，该模型在 16.5 小时内针对 IMO 2025 前 5 道题生成完整可编译验证的 Lean 证明代码，换算成绩达 IMO 金牌分数线。其技术报告已公开，后续将开放 API 邀研究者体验。
专业版功能