字節跳動發佈新一代數學推理模型Seed Prover 1.5

字節跳動今日宣佈，旗下Seed團隊正式推出Seed Prover 1.5，這是一款專用於形式化數學推理的模型。相比上一版本，Seed Prover 1.5能夠在短短16.5小時內，針對即將舉行的IMO 2025的前五道題目，生成完整且可編譯驗證的Lean證明代碼，並獲得35/42的高分，超越IMO金牌分數線。 市場消息指出，字節跳動計劃在技術報告公開後，開放API供數學及人工智能研究者試用。此舉意在推動學術界及工業界的進一步合作，並提升Seed Prover在專業領域中的應用可能性。 此外，國際市場對人工智慧的興趣正與日俱增，AI技術的突破如Seed Prover 1.5正吸引更多資源投入相關研究與開發領域，預期未來會有更多類似創新產品問世。投資者關注字節跳動在這方面的進展，並對其在AI領域的競爭力持續觀望。