# DeepSeek Prover V2 7B

DeepSeek Prover V2 7B é um modelo de DeepSeek com pesos abertos, registrado pela primeira vez em 2026-10-07; sua data de lançamento não está confirmada.

- Desenvolvedor: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V2-7B
- Detecção: 2026-10-07T19:44:50.592Z
  - [link de referência](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B)
- Status: Lançado
- Versão dos pesos: 2025-04-30
  - [link de referência](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V2-7B/paths-info/a8d9e14432b2e8dd9df2a4d4e70f1ba9bc8d9b7b)
- Canônico: https://alexgetman.com/pt/models/deepseek/deepseek-prover-v2-7b/

## Perguntas

### O DeepSeek Prover V2 7B tem pesos abertos?

Sim. DeepSeek disponibiliza os pesos.

### Quando o DeepSeek Prover V2 7B foi lançado?

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

## Links de referência

- [hf-author-artifacts:deepseek-ai](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V2-7B/paths-info/a8d9e14432b2e8dd9df2a4d4e70f1ba9bc8d9b7b)
- [huggingface:deepseek-ai](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B)

## Sinais