Frontier AI platform for enterprises to customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
This is the broad commercial model reported for Mistral. Product-level terms are listed below when available.
Trust profile
Mistral introduced a new system of record for AI prompts and skills within Mistral Studio. This feature provides enterprise-grade management, including version control, ownership tracking, audit logging, and promotion workflows (e.g., from staging to production). By treating prompts and skills as governed production assets rather than disconnected snippets, the update allows team members to iterate, test, and deploy AI behaviors with increased visibility, traceability, and compliance support.
Mistral AI launched Robostral Navigate, an 8B parameter model designed for autonomous embodied navigation. Capable of operating on wheeled, legged, and flying robots using only a single RGB camera, the model achieves a 76.6% success rate on unseen R2R-CE benchmarks by utilizing reinforcement learning and token-efficient training. The model is capable of interpreting plain-language instructions to navigate complex indoor and outdoor environments without requiring LiDAR or depth sensors.
Mistral AI released Leanstral 1.5, an Apache-2.0 licensed model with 6B active parameters optimized for formal verification and proof engineering in Lean 4. The model demonstrates state-of-the-art performance on various mathematical benchmarks, including achieving 100% on miniF2F validation and test sets. Beyond mathematical proofs, Leanstral 1.5 is capable of real-world code verification and was able to identify five previously unreported software bugs in test repositories. The model is available via Hugging Face and as a free API endpoint.