Calendarby GlyphTech · Releases
Release of Leanstral 1.5
Tue, June 30, 2026
4 mo agoUnverified
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.
Every year
Release of Mistral Large 3 and Ministral 3mistral-aiAn event.11 mo agomistral-aiDetails →Release of Devstral 2 and Devstral Small 2mistral-aiAn event.11 mo agomistral-aiDetails →Release of Mistral Small Creativemistral-aiAn event.11 mo agomistral-aiDetails →Release of OCR 3mistral-aiAn event.11 mo agomistral-aiDetails →Inline Batching API Releasemistral-aiAn event.10 mo agomistral-aiDetails →Release of Voxtral Mini Transcribe 2 and Realtimemistral-aiAn event.9 mo agomistral-aiDetails →Release of Mistral Moderation 2603mistral-aiAn event.8 mo agomistral-aiDetails →Release of Leanstral Code Agentmistral-aiAn event.8 mo agomistral-aiDetails →Release of Mistral Small 4mistral-aiAn event.8 mo agomistral-aiDetails →Release of Voxtral TTSmistral-aiAn event.8 mo agomistral-aiDetails →Release of Mistral Medium 3.5mistral-aiAn event.6 mo agomistral-aiDetails →Release of OCR 4mistral-aiAn event.5 mo agomistral-aiDetails →Leanstral 1.5 (labs-leanstral-1-5) Lean 4 proof engineering modelmistral-aiAn event.4 mo agomistral-aiDetails →
Release of Leanstral 1.5mistral-aiAn event.4 mo agomistral-ai
Introducing Robostral Navigatemistral-aiAn event.4 mo agomistral-aiDetails →Mistral OCR 4.1 (mistral-ocr-4-1) releasedmistral-aiAn event.4 mo agomistral-aiDetails →Release of OCR 4.1mistral-aiAn event.4 mo agomistral-aiDetails →Introducing Shieldstralmistral-aiAn event.3 mo agomistral-aiDetails →In-region inference, open models, and new European infrastructure for sovereign AImistral-aiAn event.3 mo agomistral-aiDetails →Mistral OCR 4.1 (mistral-ocr-4-1) generally availablemistral-aiAn event.2 mo agomistral-aiDetails →General Availability of OCR 4.1mistral-aiAn event.2 mo agomistral-aiDetails →General Availability of Z.ai GLM 5.3mistral-aiAn event.42 days agomistral-aiDetails →Introducing Mistral Large 4mistral-aiAn event.34 days agomistral-aiDetails →Introducing Timestralmistral-aiAn event.25 days agomistral-aiDetails →Voxtral 3 voice agent SDK and speech modelsmistral-aiAn event.20 days agomistral-aiDetails →Voxtral 3mistral-aiAn event.20 days agomistral-aiDetails →Voxtral Mini Transcribe 3mistral-aiAn event.20 days agomistral-aiDetails →Le Chonk: Built for Coders, Trusted by Defendersmistral-aiAn event.11 days agomistral-aiDetails →Also on Jun 30, 2026
AWS Summit Washington, D.C. 2026Washington, Washington DC, DC · AWSFree AWS Summit in Washington, D.C. with keynotes, breakout sessions, workshops and an expo on cloud and AI.4 mo agoAWSDetails →New Jersey NJDPA: A5328 sensitive data sale ban takes effectNew JerseyA5328, signed June 30, 2026, prohibits selling sensitive personal data; the ban took effect on signing.4 mo agoRegulationsDetails →UAE Child Digital Safety Law: Social media minimum age resolution takes effectUnited Arab EmiratesCabinet Resolution No. 106 of 2026 applies from the day after publication in Official Gazette No. 826 on 29 June 2026.4 mo agoRegulationsDetails →
Source, method and history
- Source
- mistral-ai
- How we know
- From the Releases API (releases.fru.dev), which reads each vendor's changelog.
- Who
- mistral-ai
- Recurs
- one-off
- More on Glyph
- releases.fru.dev
- Feed
- Subscribe to Releases
- Changes
- 2026-10-06: added to 2026-06-30