DeepSeek Prover V2 671B
Built by DeepSeek · China · deepseek.com
DeepSeek Launches Open-Source Model DeepSeek-Prover-V2-671B, Specializing in Mathematical Theorem Proving The new model employs a Mixture of Experts (MoE) architecture and is trained using the Lean 4 framework for formal reasoning. With 671 billion parameters, it leverages reinforcement learning and large-scale synthetic data to significantly enhance automated theorem-proving capabilities.
How to use
Just add the suffix. Hard questions still come back from this model; only easy ones drop to something cheaper, and nothing pricier than it gets used.
model: "deepseek/deepseek-prover-v2-671b:auto"
Sets no behavior — whatever your key already stores stays in effect.
Without the suffix, the bare name always goes to this model — no routing, so nothing saved.
Context
Max output
Input $/1M
Output $/1M
Features
Providers
NovitaProviders
Price, latency, and uptime per provider serving this model. Warp tries them in order of how each host has just been behaving, moving to the next on failure. Click a row for regions and data policies.
Loading provider metrics…
Performance
Measured latency (lower is better) and throughput (higher is better) per provider.
Speed
Loading provider metrics…
Parameter support
What Warp actually does with each parameter when you call this model. The answer differs by serving provider and by API surface.