Tag
4 stories · 1 tool
Mistral has released Robostral Navigate, an 8-billion-parameter model that navigates robots through complex real-world environments using only plain RGB images and natural language instructions — no depth sensors or LiDAR required.
Mistral now lets enterprises version, own, and trace every prompt and skill running in their AI, closing the gap between experimentation and production governance.
Leanstral 1.5 sets new state-of-the-art in formal verification, solving elite math problems and uncovering software bugs automatically. It's free and cost-effective, democratizing rigorous code analysis.
Mistral shipped a batch of connector upgrades aimed at making AI agents production-ready inside enterprises, including granular admin controls, scoped API keys, and a step-by-step debugger for broken connections.