ByteDance releases Seed Prover 1.5, a new generation of formal mathematical reasoning model.

ByteDance's Seed team has released Seed Prover 1.5, a new generation of formal mathematical reasoning model. The model employs a brand-new Agentic Prover architecture, enabling it to autonomously utilize tools such as mathematical library searches and code execution for incremental proofs. In the IMO 2025 test, the model achieved a score of 35/42, reaching the gold medal threshold; and achieved an 88% solution rate on the Putnam competition's historical problem set, breaking multiple state-of-the-art (SOTA) records.