Releasesby GlyphLeanstral 1.5 (labs-leanstral-1-5) Lean 4 proof engineering model
Leanstral 1.5 is an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning. The model will be retired on September 30, 2026.
Also shipped Jun 30, 2026Mistral AI in June 2026 →
Analytical search (Public Preview)
Analytical search, an orchestration capability in Cortex Agents that enables analytical queries over large document collections, is now in Public Preview. Traditional retrieval-augmented generation (RAG) approaches retrieve a small number of passages, which limits their ability to answer questions requiring comprehensive analysis, such as counts...
MATCH_RECOGNIZE is now in Beta
Databricks SQL and Databricks Runtime now support the SQL:2016 MATCH_RECOGNIZE clause for row pattern recognition. Enable the Match Recognize preview in workspace preview settings . See MATCH_RECOGNIZE clause .
Lakehouse Real-Time (Beta)
Lakehouse Real-Time (Lakehouse//RT) is now in Beta . Lakehouse//RT is a serverless SQL warehouse type built for low-latency, high-concurrency workloads, delivering sub-second SQL read queries against Unity Catalog tables.
Gemini Omni Flash in public preview
Released gemini-omni-flash-preview, a high-performance multimodal model designed for high-speed video generation and conversational video editing. Using the Interactions API, you can generate 3--10 second videos at 720p from text descriptions or animate still images, and then conversationally edit and refine the outputs.
Gemini 3.1 Flash Lite Image (Nano Banana 2 Lite) is generally available
gemini-3.1-flash-lite-image is a multimodal model optimized for ultra-low latency, cost-effective image generation and editing, now GA in the Gemini API.
[Launched] Generally Available: Toolboxes in Microsoft Foundry
Microsoft Foundry brings Toolboxes to GA, providing a unified endpoint to invoke the most-used tools in prompt agents and callable outside of prompt agents. Today every agent team hand-assembles its own tool list to solve the same tasks, with no shared ar
More from Mistral AI Studio and APIEvery Mistral AI Studio and API release →
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.
Release of OCR 4
OCR 4 (mistral-ocr-4-0) has been released. mistral-ocr-latest now points to it.
OCR API Block Extraction Support
The OCR API introduces the include_blocks parameter. When set to true, each page returns a blocks array with paragraph-level bounding boxes and structural labels in reading order.
OCR API Pages Parameter Enhancements
The pages parameter in the OCR API now accepts a string of comma-separated digits and ranges, such as '0,1,2' or '0-5', in addition to a list of integers.
Introducing Robostral Navigate
Introducing Robostral Navigate: 8B model achieving 76.6% on R2R-CE with just a single RGB camera. No depth sensors, LiDAR, or multiple cameras needed.
Your Prompts and Skills need a system of record
Studio provides a system of record for AI prompts and skills, versioned, owned, and traceable. Iterate fast, ship with control, and ensure consistent AI behavior.