ByteDance Unleashes Seed Prover 1.5: The Formal Math Reasoning Beast That Hits IMO Gold Medal Level in Just 16.5 Hours
On December 24, 2025, ByteDance's Seed team officially launched Seed Prover 1.5 — a next-generation specialized model for formal mathematical theorem proving. Powered by massive agentic reinforcement learning, it dramatically boosts both reasoning depth and efficiency: solving the first 5 problems of IMO 2025 with fully compilable Lean proofs in only 16.5 hours (scoring 35/42, crossing the gold medal threshold), and cracking 11 out of 12 Putnam 2025 problems in 9 hours. This crushes previous SOTA on PutnamBench (88%), Fate-H (80%), and Fate-X (33%), while promising upcoming API access for researchers.
DeepSeek's Powerhouse Return: Open-Sourcing DeepSeek-Math-V2, the IMO Gold-Medal Math Model Crushing Theorems with Self-Verification
DeepSeek AI roared back on November 27, 2025, with DeepSeek-Math-V2 — a groundbreaking open-source math reasoning model built on DeepSeek-V3.2-Exp-Base, achieving gold-level scores on IMO 2025 and CMO 2024, plus a near-perfect 118/120 on Putnam 2024 via scaled test-time compute. Featuring a dual verifier-generator architecture for self-verifiable proofs, it outpaces Claude 4 and Gemini on IMO-ProofBench, emphasizing rigorous step-by-step logic over mere answers. Weights dropped on Hugging Face under Apache 2.0, democratizing Olympiad-grade AI for researchers and educators worldwide.
