DeepSeek Prover v2
Review DeepSeek Prover v2 on key metrics including price, context length, throughput, and model features.
AuthorDeepseek
Context Length-
Supports Tools
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5, but released without an official announcement or detailed documentation.
Activity
Last 14 daysNot enough activity yet
Prompt
0Completion
0Total
-Startup
Startup
Latency (p50)-
Throughput (p50)-
Pricing
Input$0.35/M tokens
Output$1.25/M tokens
Features
Input Modalitiestext
Output Modalitiestext
Supported EndpointsChat Completions
Vision
Supports Tools