Leanstral 1.5 (labs-leanstral-1-5) Lean 4 proof engineering model

UpdateJun 30, 2026VerifiedAdded Sep 22, 2026

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.

Read Mistral AI's release notes

https://docs.mistral.ai/resources/changelogs#june-2026

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 APIJul 2, 2026

Leanstral 1.5: Proof Abundance for All

UpdateSource

Mistral AI Studio and APIJun 24, 2026

Bringing more control over your connectors

UpdateData integrationSource

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 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 Jun 30, 2026

Snowflake SnowflakeJun 30, 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...

PreviewAI agentsVector searchSource

Databricks Databricks SQLJun 30, 2026

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 .

BetaSQLSource

Databricks Databricks SQLJun 30, 2026

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.

BetaSQLStreamingGovernanceSource

Google Cloud Gemini APIJun 30, 2026

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.

PreviewLLMsDeveloper toolsPerformanceSource

Google Cloud Gemini APIJun 30, 2026

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.

GALLMsPricingDeveloper toolsSource

Microsoft Microsoft FoundryJun 30, 2026

[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

GAAI agentsDeveloper toolsSource