字節跳動推出新型數學推理模型Seed Prover 1.5

【字節推出形式化數學推理專用模型Seed Prover 1.5】12月24日訊，字節跳動Seed團隊宣佈推出形式化數學推理專用模型Seed Prover 1.5。據介紹，相比上一代模型，Seed Prover 1.5在16.5小時內，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績爲35/42，達到此前IMO評分標準的金牌分數線。Seed Prover 1.5的技術報告已對外公開，後續將開放API，邀請感興趣的數學和AI研究者體驗該模型。