创作中心
  1. 32度域首页
  2. 行业快报

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

32度域企业会员 • 行业快报 •

32度域获悉，字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。

本内容为作者独立观点，不代表32度域立场。未经允许不得转载，授权事宜请联系 business@sentgon.com
如对本稿件有异议或投诉，请联系 lin@sentgon.com
👍喜欢有价值的内容，就在 32度域 扎堆
赞 (0)
0 0

猜你喜欢

发表回复

登录后才能评论