桌面版
查詢
即時報價
市場
新聞
指數
恆生指數
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
