DeepSeek V3.1

DeepSeek V3.1 model integrated via automation on 2025-08-21

DeepSeek Prover V2

A 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5. Released on Hugging Face without an announcement or description.

DeepSeek R1

DeepSeek R1 is a reasoning model developed entirely via reinforcement learning, offering cost efficiency at $0.14/million tokens vs. OpenAI o1's $15, with strong code generation and analysis capabilities.

DeepSeek V4 Flash

DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts model with 284B total parameters and 13B activated parameters, supporting a 1M-token context window. Designed for fast inference and high-throughput workloads, with hybrid attention for long-context processing and configurable reasoning modes. Well suited for coding assistants, chat systems, and agent workflows where responsiveness and cost efficiency are important.

DeepSeek V4 Pro

DeepSeek V4 Pro is a large-scale Mixture-of-Experts model with 1.6T total parameters and 49B activated parameters, supporting a 1M-token context window. Designed for advanced reasoning, coding, and long-horizon agent workflows, with strong performance across knowledge, math, and software engineering benchmarks. Built on the same architecture as V4 Flash, it introduces a hybrid attention system for efficient long-context processing and supports multiple reasoning modes.

DeepSeek V3.2 Speciale

DeepSeek-V3.2-Speciale is a high-compute variant of DeepSeek-V3.2 optimized for maximum reasoning and agentic performance. It builds on DeepSeek Sparse Attention (DSA) for efficient long-context processing, then scales post-training reinforcement learning to push capability beyond the base model. Reported evaluations place Speciale ahead of GPT-5 on difficult reasoning workloads, with proficiency comparable to Gemini-3.0-Pro, while retaining strong coding and tool-use reliability. Like V3.2, it benefits from a large-scale agentic task synthesis pipeline that improves compliance and generalization in interactive environments.

DeepSeek V3.1

DeepSeek V3.1 model integrated via automation on 2025-08-21

DeepSeek Prover V2

A 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5. Released on Hugging Face without an announcement or description.

DeepSeek R1

DeepSeek R1 is a reasoning model developed entirely via reinforcement learning, offering cost efficiency at $0.14/million tokens vs. OpenAI o1's $15, with strong code generation and analysis capabilities.

DeepSeek V4 Flash

DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts model with 284B total parameters and 13B activated parameters, supporting a 1M-token context window. Designed for fast inference and high-throughput workloads, with hybrid attention for long-context processing and configurable reasoning modes. Well suited for coding assistants, chat systems, and agent workflows where responsiveness and cost efficiency are important.

DeepSeek V4 Pro

DeepSeek V4 Pro is a large-scale Mixture-of-Experts model with 1.6T total parameters and 49B activated parameters, supporting a 1M-token context window. Designed for advanced reasoning, coding, and long-horizon agent workflows, with strong performance across knowledge, math, and software engineering benchmarks. Built on the same architecture as V4 Flash, it introduces a hybrid attention system for efficient long-context processing and supports multiple reasoning modes.

DeepSeek V3.2 Speciale

DeepSeek-V3.2-Speciale is a high-compute variant of DeepSeek-V3.2 optimized for maximum reasoning and agentic performance. It builds on DeepSeek Sparse Attention (DSA) for efficient long-context processing, then scales post-training reinforcement learning to push capability beyond the base model. Reported evaluations place Speciale ahead of GPT-5 on difficult reasoning workloads, with proficiency comparable to Gemini-3.0-Pro, while retaining strong coding and tool-use reliability. Like V3.2, it benefits from a large-scale agentic task synthesis pipeline that improves compliance and generalization in interactive environments.