Overview
Mistral AI is a leading European AI laboratory developing open and enterprise-grade language models and document intelligence products.
Recent Developments
-
2026-07-21: Expanded microsoft partnership — multibillion European GPU capacity (Vera Rubin), mistral-medium-35 + OCR 4 in Foundry, Medium 3.5 in Copilot Studio, azure-local disconnected (microsoft-mistral-partnership-expansion)
-
2026-07-02: Released leanstral 1.5 — Apache 2.0 Lean 4 theorem-proving model; SOTA on PutnamBench/FATE; 5 bugs found in 57 OSS repos (2026-07-02-mistral-leanstral-1-5-theorem-proving)
-
2026-06-23: Released OCR 4 — enterprise document intelligence with bounding boxes, block classification, 170 languages; $4/1K pages; self-hosted container; SageMaker + Microsoft Foundry (2026-06-23-mistral-ocr-4-enterprise)
OlmOCRBench 85.20 and 72% human preference claims are vendor-reported.
Related
- physical-ai-capital
- formal-verification
- leanstral
- document-processing
- enterprise-ai
- agentic-ai
- ai-for-science
- ai-benchmarks
- mixture-of-experts
- apache-2.0
- data-sovereignty
- microsoft
- microsoft-mistral-partnership-expansion
- mistral-medium-35
- azure-local
- european-sovereign-ai
- ai-sovereignty
- mistral-ocr-4-enterprise