All Models
DeepSeekactiveOpen Source
DeepSeek-Prover-V2
deepseek-prover-v2Formal theorem proving model. Excels at mathematical proofs and verification.
Context Window
131.1K
tokens
Max Output
8.2K
tokens
Input Price
—
per 1M tokens
Output Price
—
per 1M tokens
Details
Familydeepseek-prover
Parameters671B MoE
Training Cutoff2025-05-01
ReleasedAugust 1, 2025
Evaluation Scores(1 benchmarks)
MATH-500
93.1%
Quick Access
curl pikaainews.com/api/models/deepseek-prover-v2npx pika-models info deepseek-prover-v2Get API Access
Third-Party Providers & Aggregators
Cerebras
Wafer-scale inference. 1000+ tokens/sec for select models.
DeepInfra
Lowest per-token rates for open-source models.
Fireworks AI
Fastest inference engine. Multimodal support, HIPAA/SOC2.
Groq
Ultra-fast LPU inference. Best latency for real-time apps.
OpenRouter
500+ models, one API key. Pay-per-token, no minimums.
SiliconFlow
China-optimized inference. Strong Qwen/DeepSeek support.
Together AI
Fast open-source model inference. Sub-100ms latency.