stockConnect 信報網站

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

股票及指數資料由財經智珠網有限公司提供。期貨指數資料由天滙財經有限公司提供。外滙及黃金報價由路透社提供。

本網站的內容概不構成任何投資意見，本網站內容亦並非就任何個別投資者的特定投資目標、財務狀況及個別需要而編製。投資者不應只按本網站內容進行投資。在作出任何投資決定前，投資者應考慮產品的特點、其本身的投資目標、可承受的風險程度及其他因素，並適當地尋求獨立的財務及專業意見。

信報財經新聞有限公司、香港交易所資訊服務有限公司、其控股公司及／或該等控股公司的任何附屬公司、或其資訊來源及／或其他第三方數據供應商均竭力提供準確而可靠的資料，但不能保證資料絕對無誤，且亦不會承擔因任何不準確或遺漏而引起的任何損失或損害的責任。

建議瀏覽器： Chrome, Firefox, Safari, IE9或以上