Seed Prover 1.5 – 字节跳动推出的新一代数学推理模型

Seed Prover 1.5是什么

Seed Prover 1.5 是字节跳动 Seed 团队推出的新一代形式化数学推理模型。模型采用创新的 Agentic Prover 架构，通过大规模强化学习（Agentic RL）训练，显著提升数学推理能力和效率。模型在解决 IMO 和 Putnam 等高难度数学竞赛问题上表现出色，达到金牌水平。Seed Prover 1.5 引入 Sketch Model，将自然语言证明转化为形式化引理，降低复杂度，提升推理成功率。Seed Prover 1.5 在本科、硕士和博士级别数学问题上刷新了 SOTA 表现，为未来 AI 协助数学研究奠定了基础。

Seed Prover 1.5的主要功能

• 解决高难度数学问题：支持高效解决国际数学奥林匹克竞赛（IMO）、北美本科数学竞赛（Putnam）和研究生级别的数学问题。