每日經(jīng)濟新聞 2025-12-24 12:08:41
每經(jīng)AI快訊，12月24日消息，字節(jié)跳動Seed團隊宣布近日推出形式化數(shù)學(xué)推理專用模型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ù)學(xué)和AI研究者體驗該模型。
如需轉(zhuǎn)載請與《每日經(jīng)濟新聞》報社聯(lián)系。
未經(jīng)《每日經(jīng)濟新聞》報社授權(quán)，嚴禁轉(zhuǎn)載或鏡像，違者必究。
讀者熱線：4008890008
特別提醒：如果我們使用了您的圖片，請作者與本站聯(lián)系索取稿酬。如您不希望作品出現(xiàn)在本站，可聯(lián)系我們要求撤下您的作品。
歡迎關(guān)注每日經(jīng)濟新聞APP
Copyright ? 2026 每日經(jīng)濟新聞報社版權(quán)所有，未經(jīng)許可不得轉(zhuǎn)載使用，違者必究。
廣告熱線? 北京: 010-57613265，?上海: 021-61283008，?廣州: 020-84201861，?深圳: 0755-83520159，?成都: 028-86512112
