Tag: Mistral

Mistral's Leanstral 1.5 is an open model that proves theorems and finds real bugs (mistral.ai)

AI · 1 day ago · July 14, 2026
Mistral's Robostral Navigate steers a robot from a single camera (mistral.ai)

AI · 2 days ago · July 13, 2026
Mistral's Leanstral 1.5 saturates a math-proof benchmark and finds real bugs (mistral.ai)

AI · 1 week ago · July 6, 2026
Mistral releases an open-source toolkit for production search pipelines (mistral.ai)

AI · 1 month ago · June 8, 2026
Mistral folds chat, work, and coding into one agent called Vibe (mistral.ai)

AI · 1 month ago · May 31, 2026
Mistral moves into physics with second-fast simulation models (mistral.ai)

AI · 1 month ago · May 28, 2026
Mistral Medium 3.5 pairs a self-hostable model with cloud coding agents (mistral.ai)

AI · 2 months ago · April 29, 2026