字節跳動推形式化數學推理專用模型Seed Prover 1.5

字節跳動Seed團隊宣布，近日推出形式化數學推理專用模型Seed Prover 1.5。

據介紹，相比上一代模型，Seed Prover 1.5在16.5小時內，針對國際數學奧林匹克(IMO)2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績為35/42，達到此前IMO評分標準的金牌分數線。

該團隊稱，Seed Prover 1.5的技術報告已對外公開，後續將開放API，邀請數學和AI研究者體驗該模型。