Seed-Prover

A research theorem-proving system combining Lean proof search with learning from previous attempts.

• Developer / Organization: ByteDance Seed AI4Math team
• Category: Proof models & model integrations
• Purpose: Develop formal theorem provers for advanced mathematical problems.
• Key features: Lean-based proof search and learning from proving experience; research repository includes reports and proof artifacts.
• Availability: Public reports and proof artifacts (Apache-2.0 repository); full prover release not verified
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/ByteDance-Seed/Seed-Prover (opens in a new tab)
• Version: Research system: Seed-Prover 1.5
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01