# DeepSeek Prover V1

DeepSeek Prover V1 là mô hình AI từ DeepSeek với trọng số mở, được ghi nhận lần đầu vào 2026-09-30; ngày phát hành chưa được xác nhận.

- Nhà phát triển: DeepSeek
- Id: deepseek-ai/DeepSeek-Prover-V1
- Phát hiện: 2026-09-30T15:57:39.673Z
  - [liên kết bằng chứng](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1)
- Trạng thái: Đã phát hành
- Phiên bản trọng số: 2024-08-16
  - [liên kết bằng chứng](https://huggingface.co/api/models/deepseek-ai/DeepSeek-Prover-V1/paths-info/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb)
- Địa chỉ chuẩn: https://alexgetman.com/vi/models/deepseek/deepseek-prover-v1/

## Câu hỏi

### Trọng số của mô hình DeepSeek Prover V1 có được công khai không?

Có. DeepSeek công bố trọng số của mô hình.

### DeepSeek Prover V1 được phát hành khi nào?

Ngày phát hành chưa được xác nhận. Signal Forge ghi nhận mô hình lần đầu vào 2026-09-30.

## Liên kết bằng chứng

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

## Tín hiệu