deepseek-ai/DeepSeek-Prover-V2-671B
DeepSeek logo

deepseek-ai/DeepSeek-Prover-V2-671B

DeepSeek
Provided by chutes.ai DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

Pricing

  • Input Tokens: $0.100 /M tokens
  • Output Tokens: $0.100 /M tokens

Input Modalities

    Try this model

    Python
    import os
    from openai import OpenAI
    
    client = OpenAI(
        api_key=os.environ["AIHUBMIX_API_KEY"],
        base_url="https://aihubmix.com/v1",
    )
    
    response = client.chat.completions.create(
        model="deepseek-ai/DeepSeek-Prover-V2-671B",
        messages=[
          {
            "role": "user",
            "content": "Hello, how are you?"
          }
        ],
        max_tokens=1024,
        stream=False,
    )
    
    print(response.choices[0].message.content)

    Frequently asked questions

    What is deepseek-ai/DeepSeek-Prover-V2-671B?

    Provided by chutes.ai DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.