Core Viewpoint - ByteDance's Seed team has launched a new generation formal mathematical reasoning model, Seed Prover 1.5, which claims significant improvements in reasoning capability and efficiency through large-scale Agentic Reinforcement Learning training [1] Group 1 - Seed Prover 1.5's technical report has been made publicly available [1] - The company plans to open an API for Seed Prover 1.5 in the future [1]