Leanstral 1.5: Proof Abundance for All

UpdateJul 2, 2026VerifiedAdded Sep 22, 2026

https://mistral.ai/news/leanstral-1-5/

Summaries of vendors' own notes. Product names and logos belong to their owners; logos via logo.dev.

More Mistral AI Studio and API releases

Mistral AI Studio and APIJun 30, 2026

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.

UpdateSource

Mistral AI Studio and APIJul 8, 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.

UpdateSource

Mistral AI Studio and APIJul 9, 2026

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.

UpdateSource

Mistral AI Studio and APIJun 24, 2026

Bringing more control over your connectors

UpdateData integrationSource

Mistral AI Studio and APIJul 16, 2026

Mistral OCR 4.1 (mistral-ocr-4-1) released

Mistral released OCR 4.1 (mistral-ocr-4-1). The mistral-ocr-latest and mistral-ocr-4 aliases now point to it.

UpdateLLMsSource

Mistral AI Studio and APIJul 16, 2026

OCR API confidence_scores_granularity adds block granularity

The OCR API confidence_scores_granularity parameter now supports "block", returning page-level and block-level scores, alongside "page" and "word" options.

UpdateDeveloper toolsSource

Mistral AI Studio and APIAug 4, 2026

Introducing Shieldstral

Shieldstral introduces a 3B open-weights multimodal safety classifier that outperforms models up to 7x its size.

UpdateSource

Mistral AI Studio and APIAug 11, 2026

In-region inference, open models, and new European infrastructure for sovereign AI

Mistral is bringing together the inference infrastructure, open models, and long-term commitments Europe needs to control its AI future, and setting a roadmap for the world.

UpdateLLMsRegionsSource

Also shipped on Jul 2, 2026

Snowflake SnowflakeJul 2, 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.

GASQLApache IcebergSource

Snowflake Snowflake Horizon CatalogJul 2, 2026

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.

PreviewGovernanceSecuritySource

Databricks LakeflowJul 2, 2026

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.

GASQLData integrationPerformanceSource

Databricks AI/BI and GenieJul 2, 2026

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.

PreviewBISource

Databricks AI/BI and GenieJul 2, 2026

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 .

GAAI agentsSecurityBISource

Microsoft Azure databases and analyticsJul 2, 2026

[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

GAAI agentsLLMsPricingSource