ByteDance Releases Math Reasoning Model Seed Prover 1.5, Reaches IMO Gold Medal Threshold
ByteDance's Seed Prover 1.5 model generated IMO 2025 proof code scoring 35/42 points, meeting the gold medal threshold. The team will open API access to researchers for further exploration in formal mathematics and AI.
12/25/20251 min read