字節跳動Seed團隊宣布推出形式化數學推理專用模型Seed Prover 1.5。據介紹，相比上一代模型，Seed Prover 1.5在16.5小時內，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績為35/42，達到此前IMO評分標準的金牌分數線。 針對北美本科級別數學競賽Putnam，Seed Prover 1.5用時9小時，對12道Putnam 2025賽題 ...