Alex GetmanAI 早期訊號

DeepSeek · 系列

DeepSeek Prover 模型

DeepSeek Prover 已記錄版本:6個版本。

所有已發布版本 6

USD / 百萬 token

模型上下文視窗輸入 USD / 百萬 token輸出 USD / 百萬 token狀態
DeepSeek Prover V2 7BDeepSeek · 開放權重
———權重版本 ·
DeepSeek Prover V2 671BDeepSeek · 開放權重
———權重版本 ·
DeepSeek Prover V1.5 SFTDeepSeek · 開放權重
———權重版本 ·
DeepSeek Prover V1.5 RLDeepSeek · 開放權重
———權重版本 ·
DeepSeek Prover V1.5 BaseDeepSeek · 開放權重
———權重版本 ·
DeepSeek Prover V1DeepSeek · 開放權重
———權重版本 ·

DeepSeek 的其他系列