Releasesby GlyphLeanstral 1.5: Proof Abundance for All
Leanstral 1.5: Proof Abundance for All
Also shipped Jul 2, 2026Mistral AI in July 2026 →
VARIANT data type on Delta Direct tables (General availability)
With this release, Snowflake supports the VARIANT data type on Iceberg tables created from Delta table files in object storage (Delta Direct). When your Delta tables include variant columns, Snowflake maps them to the Snowflake VARIANT data type. You can query semi-structured data using VARIANT functions and dot or bracket notation.
Metadata-based sensitive data classification recommendations (Public Preview)
Snowflake is rolling out metadata-based sensitive data classification recommendations in Snowsight to help you identify databases that are likely to contain sensitive data and enable classification with one click.
Lakeflow Connect row filtering is now generally available
Row filtering in Lakeflow Connect is now generally available. Row filtering allows you to ingest only the rows you need by applying conditions similar to a SQL WHERE clause, improving performance and minimizing data duplication.
Genie One enhancements and bug fixes
- Ontology snippets (Public Preview) : Genie One now supports ontology snippets. This feature is in Public Preview. Contact your Databricks account team to sign up. See Genie Ontology . Document edit timestamps : Documents now show the date and time they were last edited. See Documents in Genie One . Links in documents : Documents now support links.
Genie Agent (formerly Genie Space) enhancements
- Agent mode is generally available : Agent mode in Genie Agents (formerly Genie Spaces) is now generally available. Agent mode uses multi-step reasoning to answer complex, exploratory questions with a report that includes citations, visualizations, and supporting tables. See Genie Agents concepts .
[Launched] Generally available: Anthropic Claude Sonnet 5 on Azure Databricks
Azure Databricks now supports Anthropic Claude Sonnet 5 through Azure Databricks AI Model Serving. Claude Sonnet 5 is Anthropic's most agentic Sonnet model to date, delivering near-Opus-level intelligence with Sonnet's cost efficiency and speed. Designed
More from Mistral AI Studio and APIEvery Mistral AI Studio and API release →
Leanstral 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.
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.
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.
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.