字节推出形式化数学推理专用模型Seed Prover 1.5

12月24日电 近日，字节跳动Seed实验室宣布正式发布专为形式化数学推理设计的新型模型Seed Prover 1.5。该模型在性能上实现重大突破：针对国际数学奥林匹克竞赛（IMO）2025预选赛前五道题目，在16.5小时内自动生成了可通过Lean验证系统的完整证明代码，并以35分（满分42分）的成绩达到IMO金牌分数线标准。目前该技术方案已通过学术论文公开，并计划逐步开放API接口，邀请全球数学研究者及AI领域学者参与模型测试与应用探索。（广角观察）