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