Mistral AI is a French artificial-intelligence company known for its open-weight language models and a strong presence in the European AI landscape. It builds general-purpose and specialized models, including tools for coding and mathematics. This hub collects news and explainers about Mistral’s models, releases, and its place among the leading AI labs.
Mistral AI released Robostral Navigate, an 8-billion-parameter model that lets robots navigate using only a single camera, matching or beating systems that rely on LiDAR or depth sensors.
Read more →Mistral's new open-source model for Lean 4 fully saturates the miniF2F theorem benchmark, solves 87% of graduate-level math tests, and found five previously unknown bugs in production code — at roughly $4 per proof versus $300 for competing systems.
Read more →