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 的其他系列