字節跳動推出形式化數學推理專用模型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研究者體驗該模型。