Seed Prover is an AI model developed by ByteDance (China), first published in July 2025. It works in the language domain, on tasks such as mathematical reasoning.
Epoch AI has no training-compute estimate for this model.
Access: Unreleased. Its weights are not openly released.