Seed Prover 1.5是位元組跳動Seed團隊推出的形式化數學推理專用模型。2025年12月24日，位元組跳動Seed團隊宣布推出Seed Prover 1.5。在IMO 2025中，模型在16.5小時內針對前5道題目生成了完整可編譯驗證的Lean證明代碼，成績為35/42，達到金牌分數線。
與前代模型相比，Seed Prover 1.5從銀牌成績提升至金牌成績。模型引入了Agentic Prover和Sketch Model等創新。參數規模為230B總參數，23B激活。技術報告已對外公開。
基本介紹
- 外文名：Seed Prover 1.5
- 所屬公司：位元組跳動
模型特點,開發團隊,參考資料,發展歷史,
模型特點
相比上一代模型，Seed Prover 1.5在16.5小時內，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績為35/42，達到此前IMO評分標準的金牌分數線。而前代模型Seed Prover在3天內完成了6道題目中的4道及部分證明，達到銀牌成績。
開發團隊
Seed Prover 1.5由位元組跳動Seed團隊的AI4Math小組開發。參與模型開發的作者包括Zheng Yuan、Hanwen Zhu和鄭澤宇。Zheng Yuan是清華統計學博士，於2025年6月加入位元組跳動，此前在阿里巴巴的Qwen團隊負責對齊和推理方向工作。Hanwen Zhu本科畢業於牛津大學數學與計算機科學專業，目前是卡內基梅隆大學研究生，即將加入位元組Seed。鄭澤宇是卡內基梅隆大學在讀博士，位元組Seed實習生，專業方向為數學與計算機科學聯合方向。
參考資料
Seed Prover 1.5的技術報告已對外公開。相關論文已發布在arXiv上。
發展歷史
2025年12月24日，位元組跳動Seed團隊宣布推出Seed Prover 1.5。Seed Prover 1.5的技術報告已對外公開。
