Release of Leanstral 1.5
GA3 months agoUnverifiedAdded Oct 2, 2026
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.
Topics: Coding agents, LLMs
More Mistral AI Studio and API releases
Every Mistral AI Studio and API release| Date | Release | Type |
|---|---|---|
| Jun 303 months ago | Update | Update |
| Jul 23 months ago | Update | Update |
| Jun 243 months ago | Update | Update |
| Jun 233 months ago | Release of OCR 4 unverified GA | GA |
| Jun 233 months ago | OCR API Block Extraction Support unverified Update | Update |
| Jun 233 months ago | OCR API Pages Parameter Enhancements unverified Update | Update |
| Jul 82 months ago | Update | Update |
| Jul 92 months ago | Update | Update |
Also shipped on Jun 30, 2026
Mistral AI in June 2026| Date | Company | Release | Product | Type |
|---|---|---|---|---|
| Jun 303 months ago | Snowflake | Preview | ||
| Jun 303 months ago | Databricks SQL | Beta | ||
| Jun 303 months ago | Databricks SQL | Beta | ||
| Jun 303 months ago | Gemini API | Preview | ||
| Jun 303 months ago | Gemini API | GA | ||
| Jun 303 months ago | Microsoft Foundry | GA |