# DeepSeek Prover V1

DeepSeek Prover V1 er en modell fra DeepSeek med åpne vekter, først registrert 2026-09-30; lanseringsdatoen er ikke fastslått.

- Utvikler: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Observasjon: 2026-09-30T15:57:39.673Z
  - [dokumentasjonslenke](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Status: Lansert
- Vektversjon: 2024-08-16
  - [dokumentasjonslenke](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Kanonisk: https://alexgetman.com/nb/models/deepseek/deepseek-prover-v1/

## Spørsmål

### Er vektene til DeepSeek Prover V1 offentlig tilgjengelige?

Ja. DeepSeek publiserer vektene.

### Når ble DeepSeek Prover V1 lansert?

Lanseringsdatoen er ikke fastslått. Signal Forge registrerte modellen første gang 2026-09-30.

## Dokumentasjonslenker

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

## Signaler