DeepSeekMath-V2

Parameters

685B

Published

Nov 27, 2025

DeepSeekMath-V2 is an AI model developed by DeepSeek (China), first published in November 2025. It works in the language domain, on tasks such as mathematical reasoning, theorem proving, proof generation and proof verification.

Epoch AI has no training-compute estimate for this model. The model has 685,000,000,000 parameters.

Access: Open weights (unrestricted). Its weights are openly available. It is built on top of DeepSeek-V3.2-Exp-Base. Epoch AI rates the confidence of this record as confident.

Full record

Organization: DeepSeek
Country of organization: China
Domain: Language
Task: Mathematical reasoning, Theorem proving, Proof generation, Proof verification
Parameters: 685,000,000,000
Numerical format: FP8
Model accessibility: Open weights (unrestricted)
Open weights: Yes
Base model: DeepSeek-V3.2-Exp-Base
Epoch confidence: Confident