Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving