DeepSeekMath-V2
DeepSeekMathematical reasoningTheorem provingProof generationProof verificationOpen weights
The DeepSeekMath-V2 model is an open-weights mathematical reasoning model from DeepSeek with 685000000000.0 parameters.
About DeepSeekMath-V2
DeepSeek · Language · Mathematical reasoning,Theorem proving,Proof generation,Proof verification · 685000000000.0 params
Details
- Provider
- DeepSeek
- Task
- Mathematical reasoning,Theorem proving,Proof generation,Proof verification
- Parameters
- 685000000000.0
- Released
- 2025-11-27
- Open weights
- Yes