字节跳动发布新一代形式化数学推理专用模型Seed Prover 1.5
创始人
2025-12-25 03:21:46
0次
IT之家 12 月 24 日消息，字节跳动 Seed 团队今日宣布推出新一代形式化数学推理专用模型 Seed Prover 1.5，通过大规模的 Agentic RL 训练，其推理能力和推理效率宣称取得显著进步。
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。
针对北美本科级别数学竞赛 Putnam，Seed Prover 1.5 用时 9 小时，对 12 道 Putnam 2025 赛题中的 11 道生成了可编译验证的 Lean 代码。
更系统的评估中，Seed Prover 1.5 在完整的 Putnam 历史评估集上解决了 88% 的问题，在代表硕士数学难度的 Fate-H 和代表博士生数学难度的 Fate-X 评估集上，分别解决了 80% 和 33% 的问题，刷新了形式化数学推理模型在这几个评测集上的 SOTA 表现。
Seed Prover 1.5 的技术报告已对外公开，官方后续将开放 API，IT之家附链接如下：
技术报告：
Lean 证明代码：
上一篇：用智慧织网，以温情相伴
相关内容
热门资讯
原创 苹...
有不少朋友疑惑苹果iPhone 16 Pro和16 Pro Max有什么区别？该选择哪一款更好？各自...
2024年OPPO手机全攻略：...
手机已不仅仅是通讯工具，它更是我们记录生活、享受娱乐、提升工作效率的重要伙伴。随着科技的飞速发展，O...
2025年值得入手的2款智能手...
在科技飞速发展的今天，智能手表已成为我们生活中不可或缺的伙伴。无论是健康监测、信息提醒，还是时尚搭配...
原创 2...
从去年华为用上了麒麟芯片开始，华为的市场份额就蹭蹭的往上涨，当时抢购的人特别多，一时间还买不到现货，...
第五轮学科评估对比：西安交大突...
在之前的文章中，我们已经提及西安交通大学第五轮学科评估的表现可圈可点，新晋的3个A+学科：机械工程、...
vivo手机5g开关在哪里打开
vivo手机5G开关的打开方式可能因手机型号、系统版本及运营商网络支持情况的不同而有所差异。但总体来...
原创 麒...
为了普及原生鸿蒙（鸿蒙5.0），抢占更多的中端手机市场份额，华为nova系列今年开始计划一年两更，n...
解决FaceTime无法使用的...
FaceTime是苹果公司推出的一款视频通话应用，广泛应用于iPhone、iPad和Mac等设备上。...
steam官网无法访问？这个办...
对于广大游戏爱好者而言，Steam平台无疑是获取最新游戏资讯、购买游戏、与全球玩家互动的重要阵地。然...
原创 直...
#热点周际赛# 随着科技的进步，儿童智能穿戴设备逐渐成为了家庭中的新宠。华为作为智能穿戴领域的领军者...