Next AI Model

Devstral Medium

Mistral · Devstral & Leanstral line · coding

Released July 10, 2025Replaced by Devstral 2Line discontinued Sep 30, 2026

Devstral Medium was released by Mistral on July 10, 2025, as a coding model in the Devstral & Leanstral line.

  • Release 2 of 5 in the Devstral & Leanstral line.
  • Came 50 days after Devstral, released May 21, 2025.
  • Replaced by Devstral 2 on December 9, 2025, 152 days later.
  • These days the line ships a new model about every 102 days.

No detailed card for this model: we only add numbers published by the maker or by independent benchmarks. Sources: Mistral AI

Get new AI models by email

Every Monday, only when something shipped: the AI models that came out, what each one changed, and which lines are due next.

We email you a link to confirm first · unsubscribe anytime · read past issues · about the newsletter

Where the Devstral & Leanstral line stands

Leanstral 1.5 is the current model in this line. The card shows how long it has been since the last release against the line's usual gap and its recent ones — the rhythm, not a date.

Leanstral 1.5

Mistral · Devstral & Leanstral line · coding · open weights
Discontinuedofficially discontinued on Sep 30, 2026

Apache 2.0 model for Lean 4 proof engineering with 119B parameters and 6B active, solving 587 of 672 PutnamBench problems.

Released Jun 30, 2026 · what changed →
Days since last release
Leanstral 1.5 · Jun 30, 2026
96
days
Usual gap
102
days
Recent gaps
Leanstral 1.5 · Jun 2026
106
Leanstral · Mar 2026
97
Devstral 2 · Dec 2025
152
Devstral Medium · Jul 2025
50

Every Devstral & Leanstral release

Newest first. See the full line with every card →

  1. Jun 30, 2026Leanstral 1.5
  2. Mar 16, 2026Leanstral
  3. Dec 9, 2025Devstral 2
  4. Jul 10, 2025Devstral Medium · this page
  5. May 21, 2025Devstral