Skip to content
AIMarketCap

DeepSeek-Prover-V2

Model
DeepSeekFamily DeepSeek-Proveractive

Formal reasoning model in 7B and 671B sizes using recursive theorem decomposition.

Released
Apr 30, 2025
Context window
—
Modality
—
Open source
Yes
API available
—
Releases
1

Releases

1
Apr 30, 2025DeepSeek-Prover-V2 releasedDeepSeek-Prover-V2

DeepSeek released 7B and 671B theorem-proving models and ProverBench.

DeepSeek Open weightsDeepSeekDeepSeek-Prover-V2