每經(jīng)AI快訊，12月24日消息，字節(jié)跳動(dòng)Seed團(tuán)隊(duì)宣布近日推出形式化數(shù)學(xué)推理專用模型Seed Prover 1.5。據(jù)介紹，相比上一代模型，Seed Prover 1.5在16.5小時(shí)內(nèi)，針對(duì)IMO 2025的前5道題目生成了完整可編譯驗(yàn)證的Lean證明代碼，換算成績(jī)?yōu)?5/42，達(dá)到此前IMO評(píng)分標(biāo)準(zhǔn)的金牌分?jǐn)?shù)線。Seed Prover 1.5的技術(shù)報(bào)告已對(duì)外公開(kāi)，后續(xù)將開(kāi)放API，邀請(qǐng)感興趣的數(shù)學(xué)和AI研究者體驗(yàn)該模型。