# DeepSeek Prover V1

DeepSeek Prover V1 ist ein Modell von DeepSeek mit offenen Modellgewichten, erstmals am 2026-09-30 erfasst; das Veröffentlichungsdatum ist nicht bestätigt.

- Entwickler: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Sichtung: 2026-09-30T15:57:39.673Z
  - [Beleglink](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Status: Veröffentlicht
- Gewichtsversion: 2024-08-16
  - [Beleglink](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Kanonisch: https://alexgetman.com/de/models/deepseek/deepseek-prover-v1/

## Fragen

### Sind die Modellgewichte von DeepSeek Prover V1 offen?

Ja. DeepSeek veröffentlicht die Modellgewichte.

### Wann wurde DeepSeek Prover V1 veröffentlicht?

Das Veröffentlichungsdatum ist nicht bestätigt. Signal Forge erfasste das Modell erstmals am 2026-09-30.

## Beleglinks

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

## Signale