Mistral AI

Mistral AI released Leanstral 1.5, a free Apache-2.0 licensed model with 119B total parameters and 6B active parameters specialized for formal verification in Lean 4. The model achieves 100% on miniF2F benchmark, solves 587 of 672 PutnamBench problems at $4 per problem (versus $300+ for competitors), and reaches state-of-the-art 87% on FATE-H and 34% on FATE-X benchmarks.

Mistral AI has launched AI Studio, a development platform for building with its models, alongside two model updates: Mistral 3 and Mistral Small 4. The releases mark Mistral's push into providing integrated tooling beyond standalone model APIs.

Mistral released 20+ MCP-powered connectors for Le Chat, integrating tools like Databricks, Snowflake, GitHub, Stripe, and Asana. The update includes a memory feature that saves user preferences across conversations, with one-click import from ChatGPT. All features are available on the free plan.

Mistral AI has launched Le Chat Enterprise, powered by its new Mistral Medium 3 model. The platform includes enterprise search, agent builders, custom data connectors, document libraries, and hybrid deployment options, with all features rolling out over the next two weeks.

Mistral AI has released a comprehensive update to le Chat, introducing Flash Answers feature with ~1000 words/sec generation speed, iOS and Android apps, and new Pro ($14.99/month) and Team subscription tiers. The company also announced Enterprise tier in private preview with custom model deployment options.

Mistral AI announced a new industrial engineering AI stack combining physics models with partnerships across aerospace, automotive, and semiconductor sectors. The company acquired scientific AI firm Emmi on May 22, 2026, and is opening a 10 MW inference data center in Les Ulis, France in Q3 2026.

Mistral AI released Medium 3.5, a 128B dense model with a 256k context window that scores 77.6% on SWE-Bench Verified. The model powers new remote coding agents in Mistral Vibe that run asynchronously in the cloud, plus a new Work mode in Le Chat for multi-step agentic tasks.

Mistral AI has released Connectors in Studio, allowing developers to integrate custom MCP (Model Context Protocol) servers alongside built-in connectors for enterprise AI applications. The release includes direct tool calling, human-in-the-loop approval flows, and programmatic connector management via API and SDK.

Mistral AI has launched Forge, a platform for enterprises to train custom AI models on proprietary data including codebases, compliance policies, and operational records. Early partners include ASML, DSO National Laboratories Singapore, Ericsson, European Space Agency, and HTX Singapore.

Mistral AI reports that fine-tuning its Pixtral-12B vision model on satellite imagery increased classification accuracy from 56% to 91% on the Aerial Image Dataset. The company used LoRA (Low-Rank Adaptation) to train on 8,000 samples for under $10, reducing hallucinations from 5% to 0.1%.