DeepSeek

Timeline

1. Apr 24, 2026DeepSeek

   Open weights

   ★ Landmark

   DeepSeek-V4

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

2. 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.

3. May 28, 2025DeepSeek

   Model

   DeepSeek-R1-0528

   Updated reasoning model approaching o3 on math and coding evaluations.

4. Apr 30, 2025DeepSeek

   Research

   DeepSeek-Prover-V2

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

5. Mar 24, 2025DeepSeek

   Open weights

   DeepSeek-V3-0324

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

6. 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.