On November 2, 2023, DeepSeek started quickly unveiling its models, starting with DeepSeek Coder. Claude-3.5-sonnet 다음이 DeepSeek Coder V2. Chinese AI startup DeepSeek launches DeepSeek-V3, a massive 671-billion parameter mannequin, shattering benchmarks and rivaling top proprietary programs. DeepSeek-R1, rivaling o1, is specifically designed to carry out advanced reasoning duties, whereas producing step-by-step options to problems and establishing "logical chains of thought," the place it explains its reasoning course of step-by-step when solving a problem. AlphaGeometry additionally uses a geometry-specific language, while DeepSeek-Prover leverages Lean's comprehensive library, which covers various areas of mathematics. While U.S. companies have been barred from selling delicate technologies on to China underneath Department of Commerce export controls, U.S. It may have essential implications for purposes that require looking out over a vast house of attainable options and have instruments to confirm the validity of model responses. Downloaded over 140k occasions in every week. Every week later, he checked on the samples once more. DeepSeek-Coder-V2 모델은 수학과 코딩 작업에서 대부분의 모델을 능가하는 성능을 보여주는데, Qwen이나 Moonshot 같은 중국계 모델들도 크게 앞섭니다. 현재 출시한 모델들 중 가장 인기있다고 할 수 있는 DeepSeek-Coder-V2는 코딩 작업에서 최고 수준의 성능과 비용 경쟁력을 보여주고 있고, Ollama와 함께 실행할 수 있어서 인디 개발자나 엔지니어들에게 아주 매력적인 옵션입니다. 하지만 곧 ‘벤치마크’가 목적이 아니라 ‘근본적인 도전 과제’를 해결하겠다는 방향으로 전환했고, 이 결정이 결실을 맺어 현재 DeepSeek LLM, DeepSeekMoE, DeepSeekMath, DeepSeek-VL, DeepSeek-V2, DeepSeek-Coder-V2, DeepSeek-Prover-V1.5 등 다양한 용도에 활용할 수 있는 최고 수준의 모델들을 빠르게 연이어 출시했습니다.

이 Lean four 환경에서 각종 정리의 증명을 하는데 사용할 수 있는 최신 오픈소스 모델이 DeepSeek-Prover-V1.5입니다. 다른 오픈소스 모델은 압도하는 품질 대비 비용 경쟁력이라고 봐야 할 거 같고, 빅테크와 거대 스타트업들에 밀리지 않습니다. DeepSeek-Coder-V2 모델을 기준으로 볼 때, Artificial Analysis의 분석에 따르면 이 모델은 최상급의 품질 대비 비용 경쟁력을 보여줍니다. 특히, DeepSeek만의 독자적인 MoE 아키텍처, 그리고 어텐션 메커니즘의 변형 MLA (Multi-Head Latent Attention)를 고안해서 LLM을 더 다양하게, 비용 효율적인 구조로 만들어서 좋은 성능을 보여주도록 만든 점이 아주 흥미로웠습니다. 특히 DeepSeek-V2는 더 적은 메모리를 사용하면서도 더 빠르게 정보를 처리하는 또 하나의 혁신적 기법, MLA (Multi-Head Latent Attention)을 도입했습니다. 대부분의 오픈소스 비전-언어 모델이 ‘Instruction Tuning’에 집중하는 것과 달리, 시각-언어데이터를 활용해서 Pretraining (사전 훈련)에 더 많은 자원을 투입하고, 고해상도/저해