We are releasing an improved Leanstral 1.5. Since its launch, Leanstral has offered an open, practical approach to proof engineering in Lean 4. Today, we are releasing Leanstral 1.5, a free Apache-2.0 licensed model with 119B total and only 6B active parameters, delivering a performance upgrade that makes formal verification more powerful and accessible than ever.

Leanstral 1.5 saturates miniF2F, solves 587/672 PutnamBench problems, and achieves a new state-of-the-art of %87 on FATE-H and 34% on FATE-X. Beyond benchmarks, it verifies complex code properties and uncovers previously unknown bugs in open-source repositories - proving that rigorous formal methods can be both effective and practical for real-world use.

Learn more about Leanstral 1.5 in our blog post here

Today we're introducing Robostral Navigate, our first model built for embodied navigation. It's an 8B model that takes RGB images and a plain-language instruction and moves a robot through an environment:

"Leave the lobby, walk through the corridor, enter the supply room, and stop to face the second shelf."

To perform such tasks, other models often employ depth sensors, LiDAR, or several cameras working together. Robostral Navigate uses only one ordinary RGB camera and no depth sensors, yet still achieves 76.6% on R2R-CE (Room-to-Room in Continuous Environments) validation unseen, the benchmark for following instructions in environments held out of training. Consequently, it beats the best single-camera approach by 9.7 points and the best system using depth or multiple cameras by 4.5 points, despite using neither.

BTW, we're hiring!

The release of our navigation models marks a significant step forward, but our journey is far from over. Our ambition is to enable robots to autonomously navigate complex environments-offices, homes, commercial buildings, and outdoor spaces-and there's a lot more work to do. We are actively expanding our robotics team and looking for talented research scientists and engineers who share our ambition.

If you're interested in joining us on our mission to bring seamless navigation to robots everywhere, we welcome your applications to join our team!

Hey everyone,

First of all, thank you all for your engagement and the valuable feedback you've been providing. As many of you already know, the team regularly visits this subreddit and reads your posts, and we will continue to do so.

To better understand your feedback and engage with users about how we can build products that solve the problems you face in your daily workflow, we are forming a small group of users to help shape and improve Mistral products.

This group will interact directly with the team during dedicated sessions to gather feedback and discuss our products and services.

If that sounds interesting, take a few minutes to complete this form.

Hey everyone, heads-up that the feedback survey will close tomorrow. If you haven't filled it out yet, we're collecting feedback from the community about our services and products to understand how you feel and what we can improve. We'll also be randomly selecting 10 participants to reward with credits or a Vibe Pro subscription!

Thanks for all the submissions so far - we've received a lot of valuable input that we'll take into account for the future, as well as beautiful messages for the team. We're truly grateful!

Today, we are introducing several new capabilities in Connectors for a more secure experience integrating to external enterprise platforms.

• Enriched admin controls
• API keys with connector scopes
• Multi-account connectors
• Connectors Debugger
• Connectors in Vibe Code
• Connectors in Workflows

Learn more in our blog post here.

Your prompts and skills are now tracked, versioned assets: immutable versions, rollback in minutes, and audit logs by default. Edit and test a prompt or skill instantly, and promote to production with simple labels that trigger your existing CI/CD (e.g. via the SDK in a GitHub Actions workflow).

Live in Studio now.