DeepSeek Prover v2
Chat Completions API
deepseek-prover-v2
DeepseekСоздана 1 июн. 2025 г.Chat Completions API
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.
Оплата по факту использования этой модели. Подробнее здесь.
Входные токены (1 млн)
$0.616
Выходные токены (1 млн)
$2.2
Возможности
Входные модальности
Текст
Выходные модальности
Текст
Параметры
Параметры, доступные в API-запросах
Frequency PenaltyLogprobsMax Completion TokensPresence PenaltyResponse FormatStopTemperatureTool ChoiceToolsTop P