恆生指數1 25,818.93 +44.79 925.24億
國企指數1 8,915.12 +1.29 342.72億
返回    放大 +    縮小 -
字節推形式化數學推理專用模型Seed Prover 1.5
2025-12-24 13:12:23
字節跳動Seed團隊宣布推出形式化數學推理專用模型SeedProver1.5,面向國際數學奧林匹克(IMO)賽事場景。該模型在16.5小時內生成IMO2025前5題完整Lean證明,得分35/42,達金牌分數線。

團隊同步發布技術報告,披露模型架構、訓練數據與驗證流程,並計劃近期開放API接口,邀請全球數學與人工智能研究者測試體驗。(ta/u)~

阿思達克財經新聞
網址: www.aastocks.com