.png)
正文：2025年12月，字节Seed AI团队发布数学推理模型Seed Prover 1.5，在IMO 2025竞赛中用16.5小时解决前5道题，获得35分金牌成绩，与谷歌Gemini持平。相比前代模型，新版本通过强化学习和计算资源扩展显著提升性能，并在Putnam竞赛基准中刷新SOTA成绩。技术亮点包括Agentic Prover架构和Sketch Model工具，前者通过多工具交互优化形式化证明效率，后者模拟人类“打草稿”方式分解复杂问题。研究团队采用混合奖励信号训练模型，确保逻辑路径规划的准确性。测试表明，增加计算资源可对数线性提升解题率。
原文链接
本文链接：https://kx.umi6.com/article/30757.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "30757")
相关推荐
.png)
换一换
陶哲轩12年前的预言，现在AI帮他兑现了
2026-06-20 20:21:47
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
2025-05-27 12:29:36
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
2026-08-04 18:08:29
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
2026-09-05 10:04:54
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
2026-03-03 19:23:13
字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
2025-12-24 12:36:08
字节推出形式化数学推理专用模型Seed Prover 1.5
2025-12-24 12:40:34
机器人不能停下来等模型：星尘发布 SmoothRL，让在线强化学习跟上大模型的异步推理
2026-09-04 18:32:46
没有全科优秀，具身模型别想进入百万小时
2026-08-31 17:52:44
“没有Token的CS学生，应立即退学”
2026-09-03 20:39:20
具身大脑进了真实世界，难题才刚刚开始
2026-09-04 13:17:29
LG电子推出虚拟女团AI-DOL：跨界营销只为推销自家洗烘一体机
2026-08-31 12:39:05
ScienceDiscovery实现树搜索驱动RSI，加速科学发现，小时级写出通用积分器，低成本找出物理科学规律
2026-09-04 17:29:23
733 文章
893889 浏览
24小时热文
更多
-
2026-09-05 10:04:54 -
2026-09-04 19:40:20
-
2026-09-04 19:38:53
