回上列表
字節推形式化數學推理專用模型Seed Prover 1.5
2025/12/24 13:12
字節跳動Seed團隊宣布推出形式化數學推理專用模型SeedProver1.5，面向國際數學奧林匹克(IMO)賽事場景。該模型在16.5小時內生成IMO2025前5題完整Lean證明，得分35/42，達金牌分數線。

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

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