DeepSeek Prover V2 (free) AI 모델의 상세 정보와 가격을 확인하세요
컨텍스트 길이 163,840 토큰, deepseek 에서 제공
163,840
컨텍스트 토큰
무료
프롬프트 가격
무료
출력 가격
9/16
기능 지원
모델 소개
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
기본 정보
개발사
deepseek
모델 시리즈
DeepSeek
출시일
2025-04-30
컨텍스트 길이
163,840 토큰
변형
free
가격 정보
이 모델은 무료로 사용할 수 있습니다
데이터 정책
이용약관
학습 정책
1
지원 기능
지원됨 (9)
Top K
Seed
Frequency Penalty
Presence Penalty
Repetition Penalty
Min P
Logit Bias
Logprobs
Top Logprobs
미지원 (7)
이미지 입력
Response Format
도구 사용
구조화된 출력
추론
Web Search Options
Top A
다른 변형
실제 사용량 통계
#90
전체 346개 모델 중
5.3B
최근 30일 총 토큰
175.20M
일평균 사용량
2%
주간 사용량 변화