摘要：字节跳动Seed团队推出了形式化数学推理专用模型Seed Prover 1.5。该模型在16.5小时内，针对2025年国际数学奥林匹克（IMO）的前5道题目，生成了完整且可编译验证的Lean证明代码，换算成绩为35分（总分42分），达到了以往IMO的金牌分数线。
线索：该模型的推出标志着AI在高度结构化、逻辑严密的数学推理领域取得了实质性进展。其后续开放的API可能为数学研究、自动化定理证明、教育科技及AI辅助编程等领域带来新的工具和效率提升，具备潜在的应用与商业价值。相关风险包括技术实际落地的成熟度、特定领域模型的通用性限制，以及该细分赛道可能面临的竞争。
正文：字节跳动旗下Seed团队宣布，推出了形式化数学推理专用模型Seed Prover 1.5。据介绍，与上一代模型相比，Seed Prover 1.5在16.5小时内，针对2025年国际数学奥林匹克（IMO）竞赛的前5道题目，生成了完整并可编译验证的Lean证明代码。经换算，其成绩为35分（满分为42分），达到了以往IMO评分标准中的金牌分数线。该团队表示，Seed Prover 1.5的技术报告已经对外公开，后续计划开放该模型的API，以邀请数学和人工智能领域的研究者进行体验。
发布时间：2025-12-24 12:22:06
评论 ( 0 )