# Seed Prover 1.5：全新 Agentic 架构，更强数学推理表现

- 来源：字节 Seed：Research Feed（网页内嵌数据）
- 发布时间：2025-12-24 00:00
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yzp701u9slc3cfa0sbc2
- 原文链接：https://seed.bytedance.com/zh/blog/seed-prover-1-5-%E5%85%A8%E6%96%B0-agentic-%E6%9E%B6%E6%9E%84-%E6%9B%B4%E5%BC%BA%E6%95%B0%E5%AD%A6%E6%8E%A8%E7%90%86%E8%A1%A8%E7%8E%B0

## AI 摘要

字节跳动 Seed 团队发布形式化数学推理模型 Seed Prover 1.5，采用 Agentic 架构支持 Mathlib 搜索、Python 执行与增量引理验证，并引入 Sketch Model 将复杂证明拆解为子引理并行攻克。基于大规模 Agentic RL 训练，该模型在 16.5 小时内完成 IMO 2025 前 5 题获 35/42 分（金牌线），9 小时内解决 Putnam 2025 的 11/12 题，在 Putnam 历史集、Fate-H 和 Fate-X 上分别达 88%、80% 和 33% 通过率，刷新多项 SOTA。

## 正文

该来源未收录可展示正文，站内仅提供摘要。