字節(jié)推出形式化數(shù)學推理專用模型Seed Prover 1.5
2025-12-24 12:01
來源: 云財經(jīng)
影響力評估指數(shù)：15.27
云財經(jīng)訊，12月24日，字節(jié)跳動Seed團隊宣布推出形式化數(shù)學推理專用模型Seed Prover 1.5。據(jù)介紹，相比上一代模型，Seed Prover 1.5在16.5小時內(nèi)，針對IMO 2025的前5道題目生成了完整可編譯驗證的Lean證明代碼，換算成績?yōu)?5/42，達到此前IMO評分標準的金牌分數(shù)線。Seed Prover 1.5的技術(shù)報告已對外公開，后續(xù)將開放API，邀請感興趣的數(shù)學和AI研究者體驗該模型。
| 新聞標題 | 時間 | 消息來源 | 新聞熱度 |
|---|---|---|---|
| 自然資源部：“十五五”時期實施新一輪找礦突破戰(zhàn)略行動 加強海洋開發(fā)利用保護 | 今天 13:31 | 云財經(jīng) |
|
| 英偉達產(chǎn)業(yè)鏈利好頻出 AI龍頭股價年內(nèi)32次創(chuàng)歷史新高 | 今天 13:02 | 云財經(jīng) |
|
| “杭州六小龍”之一云深處已公布上百項專利 | 今天 12:02 | 云財經(jīng) |
|
| 華是科技：公司以2250萬元增資參股子公司宇創(chuàng)機器人 公司將持有宇創(chuàng)機器人15%的股權(quán) | 12-23 16:26 | 云財經(jīng) |
|
| 美國農(nóng)業(yè)部五個月內(nèi)減少超2萬名員工 | 12-23 06:17 | 云財經(jīng) |
|
| 香港“大埔宏福苑援助基金”總額約為41億港元 | 12-22 23:04 | 云財經(jīng) |
|