【财华社讯】12月24日，据"字节跳动Seed"公众号消息，字节跳动Seed团队近日推出新一代形式化数学推理专用模型Seed Prover1.5，通过大规模的Agentic RL训练，其推理能力和推理效率取得显著进步。相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。
财华网所刊载内容之知识产权为财华网及相关权利人专属所有或持有。未经许可，禁止进行转载、摘编、复制及建立镜像等任何使用。
如有意愿转载，请发邮件至content@finet.com.hk，获得书面确认及授权后，方可转载。
下载财华财经APP，把握投资先机
https://www.finet.com.cn/app
更多精彩内容，请点击：
财华网(https://www.finet.hk/)
财华智库网(https://www.finet.com.cn)
现代电视FINTV(http://www.fintv.hk)
财华财经APP下载 
或
按钮分享