Next AI Model
ArchiveLinesTimeline

Devstral

Mistral · Devstral & Leanstral line · coding · open weights

Released May 21, 2025Replaced by Devstral MediumLine discontinued Sep 30, 2026

Devstral was released by Mistral on May 21, 2025, as an open-weights coding model in the Devstral & Leanstral line.

  • Release 1 of 5 in the Devstral & Leanstral line.
  • The first release in this line.
  • Replaced by Devstral Medium on July 10, 2025, 50 days later.
  • Its usual gap between releases was about 102 days; the line's last release was on June 30, 2026.

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

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 · RSS for the Devstral & Leanstral line

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.

Devstral & Leanstral

Mistral · coding line · open weights

Latest: Leanstral 1.5 · Jun 30, 2026

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.

What changed in Leanstral 1.5 →
Days since last release
116
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
  5. May 21, 2025Devstral · this page