字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5

2025-12-24 12:36:08

发布在

快讯

阅读：1286

12月24日，字节跳动Seed团队发布新一代形式化数学推理模型Seed Prover 1.5。该模型通过大规模Agentic RL训练，在IMO 2025前5道题目中取得35/42分，达到金牌分数线，并在9小时内完成Putnam 2025赛题中11道的Lean证明代码生成。评估显示，Seed Prover 1.5在Putnam历史评估集中解决88%问题，在硕士难度Fate-H和博士难度Fate-X评估集中分别解决80%和33%问题，刷新多项SOTA表现。技术报告已公开，后续将开放API链接。

原文链接

本文链接：https://kx.umi6.com/article/30700.html

转载请注明文章出处

Seed Prover 1.5