品玩12月24日讯，据字节跳动官方消息，Seed团队正式推出新一代形式化数学推理专用模型Seed Prover 1.5。该模型采用全新的Agentic Prover架构，通过大规模的Agentic RL训练，在推理能力与效率上取得显著进步。

评估数据显示，Seed Prover 1.5在IMO 2025题目证明中达到金牌分数线，并在Putnam等多项高难度数学评测集上刷新了SOTA表现。其核心技术在于模型可自主调用Mathlib搜索、Python代码执行等工具，并利用Sketch Model将复杂问题分解为可并行验证的引理。

团队已公开技术报告与部分代码，未来将探索AI在前沿数学研究中的应用。