# DeepSeek Prover V2 7B

DeepSeek Prover V2 7B es un modelo de DeepSeek con pesos abiertos, registrado por primera vez el 2026-10-07; su fecha de lanzamiento no está confirmada.

- Desarrollador: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V2-7B
- Detección: 2026-10-07T19:44:50.592Z
  - [enlace de referencia](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B)
- Estado: Lanzado
- Versión de pesos: 2025-04-30
  - [enlace de referencia](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V2-7B/paths-info/a8d9e14432b2e8dd9df2a4d4e70f1ba9bc8d9b7b)
- Canónica: https://alexgetman.com/es/models/deepseek/deepseek-prover-v2-7b/

## Preguntas

### ¿Tiene DeepSeek Prover V2 7B pesos abiertos?

Sí. DeepSeek publica los pesos.

### ¿Cuándo se lanzó DeepSeek Prover V2 7B?

La fecha de lanzamiento no está confirmada. Signal Forge lo registró por primera vez el 2026-10-07.

## Enlaces de referencia

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

## Señales