字节跳动推出新一代形式化数学推理专用模型 Seed Prover 1.5

Core Insights - ByteDance's Seed team has launched a new formal mathematical reasoning model, Seed Prover 1.5, which shows significant improvements in reasoning capability and efficiency through large-scale Agentic RL training [1] Performance Metrics - Seed Prover 1.5 generated complete compilable verification Lean proof code for the first five problems of IMO 2025 within 16.5 hours, achieving a score of 35 out of 42, which meets the gold medal score threshold of the previous IMO scoring standards [1]