【財華社訊】12月24日，據"字節跳動Seed"公眾號消息，字節跳動Seed團隊近日推出新一代形式化數學推理專用模型Seed Prover1.5，通過大規模的Agentic RL訓練，其推理能力和推理效率取得顯著進步。相比上一代模型，Seed Prover 1.5在16.5小時內，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績為35/42，達到此前IMO評分標準的金牌分數線。
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至content@finet.com.hk，獲得書面確認及授權後，方可轉載。
下載財華財經APP，把握投資先機
https://www.finet.com.cn/app
更多精彩内容，請點擊：
財華網(https://www.finet.hk/)
財華智庫網(https://www.finet.com.cn)
現代電視FINTV(https://www.fintv.hk)
財華財經APP下載 
或
按钮分享