प्रदाता और मॉडलDeepSeek

DeepSeek Prover V2

DeepSeek Prover V2
DeepSeek · Text Generation
POST /v1/chat/completions

ओपन-सोर्स एलएलएम लीन 4 में औपचारिक प्रमेय साबित करने में विशेषज्ञता प्राप्त है, जो एक पुनरावर्ती प्रमेय-साबित पाइपलाइन पर बनाया गया है।

एक नजर में

फ़ील्डमूल्य
मॉडल आईडीdeepseek-prover-v2
मॉडल रिलीज की तारीख2025-04-30
इनपुट तौर-तरीकेटेक्स्ट
आउटपुट के तौर-तरीकेटेक्स्ट
संदर्भ विंडो-
वजन परिशुद्धता-
सुविधाऐंगणित, तर्क
मूल अनुमाननहीं
नयानहीं
समर्थित समापन बिंदुPOST /v1/chat/completions, POST /v1/responses

मूल्य निर्धारण

आवेशित करनायुक्तिदर
प्रति संदेशस्‍थायी$0.020

उदाहरण अनुरोध

$curl https://api.empiriolabs.ai/v1/chat/completions \
>  -H 'Authorization: Bearer $EMPIRIOLABS_API_KEY' \
>  -H 'Content-Type: application/json' \
>  -d '{"model": "deepseek-prover-v2", "messages": [{"role":"user","content":"Hello"}]}'

पैरामीटर

This मॉडल मानक चैट पूर्णता मापदंडों को स्वीकार करता है ([एपीआई संदर्भ](/एपीआई-संदर्भ देखें).

टिप्पणियाँ

लीन 4 में औपचारिक प्रमेय साबित करने के लिए विशेष। OpenRouter के माध्यम से रूट किया गया।

Machine-पठनीय स्कीमा: GET https://api.empiriolabs.ai/v1/models/deepseek-prover-v2।