IT之家

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

IT之家12 月 24 日消息，字节跳动 Seed 团队今日宣布推出新一代形式化数学推理专用模型 Seed Prover 1.5，通过大规模的 Agentic RL 训练，其推理能力和推理效率宣称取得显著进步。 相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可 ...
腾讯网

刚刚！字节跳动 Seed Prover 1.5 发布

12月24日消息，字节跳动 Seed 团队发布了新一代形式化数学推理模型 Seed Prover 1.5。该模型基于全新的 Agentic 架构 与大规模强化学习训练，在多项高难度数学评测中实现突破，刷新了形式化数学推理模型的性能纪录。 今年 7 月，Seed 团队受邀参与 IMO 2025（国际数学 ...