Byte launches formal mathematics reasoning specialized model Seed Prover 1.5

On December 24th, the ByteDance Seed team announced the launch of the formal mathematical reasoning model Seed Prover 1.5. According to the introduction, compared to the previous generation model, Seed Prover 1.5 generated complete verifiable Lean proof code for the first 5 questions of IMO 2025 in 16.5 hours, with a score of 35/42, reaching the gold medal score line of the previous IMO evaluation standard. The technical report of Seed Prover 1.5 has been made public, and API will be opened in the future to invite interested mathematicians and AI researchers to experience the model.