ETNet 新聞 【ＡＩ】字節跳動發布形式化數學推理專用模型Seed Prover 1.5 Future Wealths 24 12 月, 2025 One Min Read 8 Views 0 Comments 《經濟通通訊社２４日專訊》字節跳動Ｓｅｅｄ團隊宣布推出形式化數學推理專用模型 ＳｅｅｄＰｒｏｖｅｒ１﹒５。據介紹，相比上一代模型，ＳｅｅｄＰｒｏｖｅｒ １﹒５在１６﹒５小時內，針對ＩＭＯ２０２５的前５道題目生成了完整可編譯驗證的 Ｌｅａｎ證明代碼，換算成績為３５╱４２，達到此前ＩＭＯ評分標準的金牌分數線。 針對北美本科級別數學競賽Ｐｕｔｎａｍ，ＳｅｅｄＰｒｏｖｅｒ１﹒５用時９小時， 原文 Last Update: 24 12 月, 2025
