novita

deepseek/deepseek-prover-v2-671b

Context

32768

Input

text

Output

text

Tool calling

Not listed

About this model

DeepSeek-Prover-v2-671b is a 671B-parameter hybrid dense-MoE model specialized in mathematical theorem proving and formal reasoning, featuring 128 experts with 4-6 active per token. Optimized with FP8 quantization for efficient large-scale inference.

Capabilities

text

Available through the unified API

Quick start

View API docs
curl https://api.oneinfer.ai/v1/chat/completions \
  -H "Authorization: Bearer $ONEINFER_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "model": "34f9fe82ce354e6fa85aeefcf279e5ae",
    "messages": [
      { "role": "user", "content": "Hello!" }
    ]
  }'

Providers

Available routing options for this model through OneInfer.

novita

34f9fe82ce354e6fa85aeefcf279e5ae

Available

Input

$0.700 / 1M

Output

$2.500 / 1M

Routing

OneInfer optimized

Pricing

Current OneInfer pricing for this model.

UsagePrice
Input tokens$0.700 / 1M
Output tokens$2.500 / 1M

Performance

Published evaluation results associated with this model.

Theorem Proving

MiniF2F-Isabelle56.3
Lean Proof51.7
TheoremBench71.2
IMO Problems45.8

Mathematical Reasoning

MATH62.5
GSM8K89.1
GPQA42.3

Formal Verification

CoqGym58.9
Isabelle Benchmark63.4
HolStep67.1

General Reasoning

MMLU-Math79.6
ARC-Challenge86.3
LogiQA81.7

API example

curl https://api.oneinfer.ai/v1/chat/completions \
  -H "Authorization: Bearer $ONEINFER_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "model": "34f9fe82ce354e6fa85aeefcf279e5ae",
    "messages": [
      { "role": "user", "content": "Hello!" }
    ]
  }'