# DeepSeek Prover V1

DeepSeek Prover V1 è un modello di DeepSeek con pesi aperti, registrato per la prima volta il 2026-09-30; la sua data di rilascio non è confermata.

- Sviluppatore: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Avvistamento: 2026-09-30T15:57:39.673Z
  - [link di riscontro](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Stato: Rilasciato
- Versione dei pesi: 2024-08-16
  - [link di riscontro](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Canonico: https://alexgetman.com/it/models/deepseek/deepseek-prover-v1/

## Domande

### DeepSeek Prover V1 ha pesi aperti?

Sì. DeepSeek pubblica i pesi.

### Quando è stato rilasciato DeepSeek Prover V1?

La data di rilascio non è confermata. Signal Forge lo ha registrato per la prima volta il 2026-09-30.

## Link di riscontro

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

## Segnali