財(cái)聯(lián)社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ì)外公開,后續(xù)將開放API,邀請(qǐng)感興趣的數(shù)學(xué)和AI研究者體驗(yàn)該模型。