This project is suspended: no new articles or editions will be published. The archive stays available.
Every AI News story tagged with both Mistral AI and AI Research — the two topics side by side, updated as new articles publish.
2 articles
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 →