【ＡＩ】字節跳動發布形式化數學推理專用模型Seed Prover 1.5
《經濟通通訊社２４日專訊》字節跳動Ｓｅｅｄ團隊宣布推出形式化數學推理專用模型
ＳｅｅｄＰｒｏｖｅｒ１﹒５。據介紹，相比上一代模型，ＳｅｅｄＰｒｏｖｅｒ
１﹒５在１６﹒５小時內，針對ＩＭＯ２０２５的前５道題目生成了完整可編譯驗證的
Ｌｅａｎ證明代碼，換算成績為３５╱４２，達到此前ＩＭＯ評分標準的金牌分數線。
針對北美本科級別數學競賽Ｐｕｔｎａｍ，ＳｅｅｄＰｒｏｖｅｒ１﹒５用時９小時，
為你搜羅最新的財經新聞、名家評論、博客淮介、股巿分析。
