DeepSeek

Timeline

1. Sep 10, 2026DeepSeek

   Model

   DeepSeek-V4.1-Flash

   A 552B MoE with a new asymmetric encoder–decoder design (8B / 16B active) and native vision.

2. Aug 13, 2026DeepSeek

   Model

   DeepSeek-V4-Pro GA

   V4-Pro went GA with agent upgrades, adjustable reasoning effort and Responses API support.

3. Apr 24, 2026DeepSeek

   Open weights

   ★ Landmark

   DeepSeek-V4

   First Chinese frontier model built to run natively on Huawei Ascend chips, MIT license, 1M context.

4. Dec 1, 2025DeepSeek

   Open weights

   ★ Landmark

   DeepSeek-V3.2

   Flagship with integrated reasoning and sparse attention, claimed GPT-5-level at a fraction of cost.

5. May 28, 2025DeepSeek

   Model

   DeepSeek-R1-0528

   Updated reasoning model approaching o3 on math and coding evaluations.

6. Apr 30, 2025DeepSeek

   Research

   DeepSeek-Prover-V2

   A 671B open theorem-prover for Lean 4 setting a new formal-math state of the art.

7. Mar 24, 2025DeepSeek

   Open weights

   DeepSeek-V3-0324

   First open-weights model to outscore all proprietary non-reasoning models on Artificial Analysis.

8. Jan 20, 2025DeepSeek

   Open weights

   ★ Landmark

   DeepSeek-R1

   Open-source reasoning model matching o1 at a fraction of the cost, triggering a global cost-shock.