Mistral AI Release notes and new features

Private · Paris, France · 51 releases · 1 this month

Website RSS

Also onAcquisitions·Funding(Funding rounds)·Paydays(Pay schedule)

Mistral AI releases

November 2026 digest

2 releases

Mistral AI Studio and API

Release of Leanstral 1.5

Leanstral 1.5 (labs-leanstral-1-5) has been released. It is an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning, and will retire on September 30, 2026.

GAJun 30

About and activity

Mistral AI SAS is a French artificial intelligence (AI) company headquartered in Paris. Founded in 2023, it develops large language models (LLMs).

Company profile

Releases per month

6Jun 7Jul 5Aug 3Sep 7Oct 1Nov

Official release-notes pages 5

Release-notes page	Site	Feed
Changelog (new docs) docs.mistral.ai	docs.mistral.ai	None
Mistral Vibe releases github.com	github.com	RSS
mistral-inference releases github.com	github.com	RSS
Python SDK releases github.com	github.com	RSS
TypeScript SDK releases github.com	github.com	RSS