DeepSeek-V4-Pro-0813: Terminal Bench 87.9점, DSpark 결합한 DeepSeek-V4-Pro

DeepSeek-V4-Pro-0813은 기존 프리뷰 버전을 대체하는 공식 릴리스 모델이다. 프로덕션 환경에서의 에이전트 능력과 전반적인 성능이 크게 향상되었다. 특히 DSpark 스펙ulative decoding 모듈이 결합되어 추론 속도와 효율성이 개선되었다.

Terminal Bench 2.1에서 87.9점, NL2Repo에서 61.5점을 기록하며 코드 에이전트 작업에서 높은 점수를 보였다. HLE 벤치마크에서는 도구 사용 시 60.0점을 달성했다. GLM-5.2, Kimi K3, Opus-4.8 등 최신 경쟁 모델들과 비교해도 뒤지지 않는 수준의 성능을 유지한다.

Jinja 기반 챗 템플릿 대신 OpenAI 호환 형식의 메시지 인코딩 및 파싱을 위한 전용 Python 스크립트를 제공한다. reasoning_effort 파라미터를 low, high, max 세 단계로 조절해 모델이 답변 전에 얼마나 깊이 사고할지 제어할 수 있다. vLLM 환경에서는 --speculative-config 플래그 하나로 DSpark 추론을 활성화할 수 있다.

MIT 라이선스로 공개되어 상용 프로젝트에 자유롭게 활용할 수 있다. 8-bit 및 fp8 정밀도 옵션을 지원하며, Together, Novita, Baseten, Fireworks AI 등 주요 인퍼런스 프로바이더에서 즉시 사용 가능하다. 복잡한 에이전트 워크플로우나 대규모 코드베이스 분석이 필요한 개발자에게 적합하다.