Seed-Prover

model
ByteDance
Specialized model for automated theorem proving and formal mathematical reasoning (Lean 4).
Paper (arXiv)GitHub
reasoning

Notes

Solved 5 of 6 IMO 2025 problems. Seed-Prover 1.5 released December 2025.