# DeepSeek Prover V1

DeepSeek Prover V1 是 DeepSeek 的 AI 模型，权重开放，首次记录于 2026-09-30，发布日期尚未确认。

- 开发商: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- 发现: 2026-09-30T15:57:39.673Z
  - [参考链接](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- 状态: 已发布
- 权重版本: 2024-08-16
  - [参考链接](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- 规范地址: https://alexgetman.com/zh/models/deepseek/deepseek-prover-v1/

## 常见问题

### DeepSeek Prover V1 的权重是否开放？

是的，DeepSeek 已公开权重。

### DeepSeek Prover V1 何时发布？

发布日期尚未确认。Signal Forge 首次记录于 2026-09-30。

## 参考链接

- [hf-author-artifacts:deepseek-ai](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)

## 信号