deepseek-ai/DeepSeek-Math-V2 resource

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1603 stars · 153 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

DeepSeekMath-V2 is a research release from DeepSeek AI presenting an open large language model trained for self-verifiable mathematical reasoning and theorem proving. The repository provides model weights, a technical report, and inference/evaluation code under an Apache-2.0 license.

Use cases

• run a model that solves olympiad math problems with rigorous proofs
• download open weights for theorem-proving research
• evaluate LLM mathematical reasoning on competition benchmarks
• study verifier-based reward model training for math
• generate step-by-step derivations instead of just final answers
• fine-tune or build on an open math reasoning model

When to choose

• you need an open-weights LLM specialized in rigorous mathematical reasoning and proof generation
• you are researching self-verification or verifier-as-reward-model training
• you want to benchmark theorem-proving capability

When to avoid

• you need a general-purpose chat or coding assistant
• you lack GPU resources to run large model weights
• you need a hosted API rather than self-hosted weights

Facets

learning-resource · maturity active

machine-learning deep-learning llm-training nlp large-language-models artificial-intelligence mathematics python model-weights mathematical-reasoning theorem-proving self-verification reinforcement-learning research huggingface natural-language-processing gpu linux

Member repositories

For agents

markdown · JSON · MCP: product_card(name="deepseek-ai/DeepSeek-Math-V2")