Seed Prover 1.5: Advanced Mathematical Reasoning through a Novel Agentic Architecture

Solved 11 problems of the 2025 Putnam competition in just 9 hours.

Open original