鳳凰網科技訊 12月24日,字節跳動Seed團隊近日推出新一代形式化數學推理模型Seed Prover 1.5。該模型基于大規模智能體強化學習訓練,在數學競賽題的形式化證明能力上有所提升。
據官方信息,該模型在IMO 2025的前5道題目上,于16.5小時內生成了完整可編譯驗證的Lean證明代碼,換算成績達到此前金牌分數線。在Putnam 2025的12道賽題中,其用時9小時對其中11道生成了可驗證代碼。在Putnam歷史評估集上,該模型解決了88%的問題。
團隊表示,當前模型仍主要面向“規則清晰、背景封閉”的競賽題目,與前沿數學研究所需的長鏈條、文獻依賴推理尚有距離。技術報告已公開,后續將開放API供研究者體驗。










