字節跳動發布數學推理新技術Seed Prover 1.5

字節跳動旗下的Seed團隊日前宣佈推出最新的形式化數學推理模型Seed Prover 1.5。根據市場消息，這款升級版模型能在16.5小時內，針對2025年國際數學奧林匹克（IMO）的前5道題目，產生完整且可編譯驗證的Lean證明代碼。根據該模型的表現，換算成績達到35分，達到了IMO金牌分數線的標準。 Seed Prover 1.5的技術報告已經公開發佈，而字節跳動亦計劃開放API，以便對數學及人工智能研究有興趣的研究者進行測試和體驗。這一舉措被視為進一步推動數學與AI領域融合的努力。 目前，人工智能和科技領域的投資者對此類創新持續保持高度關注，市場普遍預期這些技術的進步可能對未來數學教育及相關應用領域產生深遠影響。