北京商报讯（记者 陶凤 王天逸）12月24日，字节跳动 Seed 团队宣布，近日推出新一代形式化数学推理专用模型 Seed Prover 1.5 ，通过大规模的 Agentic RL 训练，其推理能力和推理效率取得显著进步。
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。
本网站所有内容属北京商报社有限公司，未经许可不得转载。 商报总机：010-64101978 版权合作：010-64101871
商报地址：北京市朝阳区和平里西街21号 邮编：100013 法律顾问：北京市中同律师事务所（010-82011988）
网上有害信息举报 违法和不良信息举报电话：010-84276691 举报邮箱：bjsb@bbtnews.com.cn
ICP备案编号：京ICP备08003726号-1 
京公网安备11010502045556号 互联网新闻信息服务许可证11120220001号
