Provider watch
M
Mistral AI French AI lab behind Le Chat (Vibe) and the open-weight Mistral/Mixtral model families.
Everything we're tracking from Mistral AI, with verified launches and alerts when something ships.
Tracking 5 models · 4 shipped · 1 waiting · 7 in archive
One click creates your free account (or signs you into an existing one) and turns on alerts for Mistral AI releases . There's no password to set, and you can unsubscribe any time.
Official news → Models
Mistral next-gen (open-weight MoE) Is Mistral next-gen (open-weight MoE) out yet?
No
SpeculatedRumored or expected - not officially confirmed by the provider.
Release Date Estimate ?
Today 60 days
Upcoming open-weight mixture-of-experts model family; early access targeted for July 2026.
Details → Leanstral 1.5 Is Leanstral 1.5 out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Jul 2, 2026
Mistral's automated theorem proving model for Lean 4 proof assistance.
Details → Magistral Is Magistral out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Jun 10, 2025
Mistral's first dedicated reasoning model line.
Details → Mistral Code Agent Latest Is Mistral Code Agent Latest out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Jul 31, 2026
Mistral Code Agent Latest is a language model from Mistral AI, now publicly released. It is positioned as the latest version of the company's code agent offering.
Details → Mistral Large 3 Is Mistral Large 3 out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Dec 2, 2025
Open-weight 675B sparse MoE flagship (41B active), part of the Mistral 3 launch.
Details → Previous models
Older and superseded Mistral AI models, kept for history and comparisons. Not on the waiting board.
Mistral Medium 3 Is Mistral Medium 3 out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released May 7, 2025
Frontier-class quality at medium-tier pricing.
Details → Mistral Small 3 Is Mistral Small 3 out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Jan 30, 2025
Apache-licensed 24B small-tier line.
Details → Mistral Large 2 Is Mistral Large 2 out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Jul 24, 2024
123B dense flagship with open weights for research.
Details → Mixtral 8x22B Is Mixtral 8x22B out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Apr 17, 2024
Larger open MoE follow-up to 8x7B.
Details → Mistral Large Is Mistral Large out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Feb 26, 2024
Mistral's first flagship API model.
Details → Mixtral 8x7B Is Mixtral 8x7B out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Dec 11, 2023
The sparse mixture-of-experts release that popularized open MoE.
Details → Mistral 7B Is Mistral 7B out yet?
Yes
AvailablePublicly available right now - we confirmed access.
Released Sep 27, 2023
The Apache-licensed 7B that put Mistral on the map.
Details → News, leaks & rumors
Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems DevOps.com
Mistral AI · Jul 6, 2026
Read at news.google.com → Mistral AI Targets Frontier Gap With Open-Weight Model Entering July Early Access Tech Times
Mistral AI · Jul 7, 2026
Read at news.google.com → Mistral Releases Leanstral 1.5 for Math Proof Engineering with Lean WinBuzzer
Mistral AI · Jul 6, 2026
Read at news.google.com → Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Engineering TechGig
Mistral AI · Jul 6, 2026
Read at news.google.com → Mistral releases Leanstral 1.5 open model for proof engineering TestingCatalog AI News
Mistral AI · Jul 4, 2026
Read at news.google.com → Leanstral 1.5: Proof Abundance for All mistral.ai
Mistral AI · Jul 2, 2026
Read at news.google.com → Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems MarkTechPost
Mistral AI · Jul 3, 2026
Read at news.google.com → Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code the-decoder.com
Mistral AI · Jul 4, 2026
Read at news.google.com → Per TestingCatalog, Mistral CEO Arthur Mensch confirmed (June 16) a new model arriving this summer - the start of a 'large yet sparse' mixture-of-experts family - that will ship as open weights, with early access opening in July for research, government, and industry partners. No model name or benchmarks yet.
TestingCatalog · Jun 18, 2026
Read at testingcatalog.com →