# DeepSeek Prover V1

DeepSeek Prover V1 é um modelo de DeepSeek com pesos abertos, registrado pela primeira vez em 2026-09-30; sua data de lançamento não está confirmada.

- Desenvolvedor: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Detecção: 2026-09-30T15:57:39.673Z
  - [link de referência](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Status: Lançado
- Versão dos pesos: 2024-08-16
  - [link de referência](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Canônico: https://alexgetman.com/pt/models/deepseek/deepseek-prover-v1/

## Perguntas

### O DeepSeek Prover V1 tem pesos abertos?

Sim. DeepSeek disponibiliza os pesos.

### Quando o DeepSeek Prover V1 foi lançado?

A data de lançamento não está confirmada. O Signal Forge registrou o modelo pela primeira vez em 2026-09-30.

## Links de referência

- [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)

## Sinais