Post-Cutoff
Search For AI agents

DeepSeekDeepSeekMath familyCurrentReasoning modelReleased 27 Nov 2025

DeepSeekMath-V2

Download the weights from Hugging Face and serve them with the DeepSeek-V3.2-Exp inference stack. Source: https://huggingface.co/deepseek-ai/DeepSeek-Math-V2 · paper https://arxiv.org/abs/2511.22570

PricePrice not published

Checked29 September 2026

No published training cutoff

At least1,970events since its release on 27 November 2025

85 historic, 450 major. 351 days of news.

DeepSeek doesn’t publish a training cutoff, so we count from its release date. The real gap is larger. Coverage before 2026 is thin (80 entries for 2025), so this count is a floor.

Five things it has never heard of

How to call it

Where to use DeepSeekMath-V2.

Providers, model ids, endpoints and docs for DeepSeekMath-V2
ProviderModel idEndpointDocs
Hugging Face huggingface.co

Pricing

Price not published.

No price source linked. Checked 29 September 2026.

Specs

Input
Text
Output
Text
Context window
Not published
Max output
Not published
Open weights
Yes
Licence
Apache-2.0
Training cutoff
Not published
Released
27 November 2025
Status
Current
Type
Reasoning model

What stands out

What its maker marketed at launch, and what people found later, each with its source.

  • Self-verifiable proof generation

    First

    Generator trained against an LLM proof verifier and meta-verifier; reached IMO 2025 / CMO 2024 gold level and 118/120 on Putnam 2024 with scaled test-time compute.

    Source: arxiv.org

Notes

685B open-weights (Apache 2.0) math prover built on DeepSeek-V3.2-Exp-Base; inference uses the DeepSeek-V3.2-Exp code. No first-party API endpoint verified. ‘first’ = first open-weights model at IMO-gold level (per the paper’s claims).