Mistral AI
5 published articles
AI Agents
Mistral coding agents leave your laptop behind: parallel sessions, no hovering required
Mistral is moving coding agents to the cloud, enabling parallel, asynchronous task execution via the new Mistral Medium 3.5 model. The update introduces remote agents in Mistral Vibe and Le Chat, along with a Work mode for multi-step tasks, while keeping human oversight for sensitive actions.
2026-07-12
Lean 4
Leanstral 1.5 proves the old rules of AI pricing don't apply to math
Leanstral 1.5, a 6B active-parameter model, saturates miniF2F, solves 587 PutnamBench problems, and uncovers 5 previously unreported bugs in open-source repositories. At roughly $4 per problem, it undercuts Seed-Prover by 75x and Aleph Prover by 15x, challenging the assumption that formal verification requires massive compute budgets.
2026-07-12
Acquisition
Mistral buys its way into physics, and a race against NVIDIA and Ansys
Mistral buys its way into physics simulation, acquiring emmi AI's neural surrogates for CFD and plasma turbulence. The deal puts Mistral in direct competition with NVIDIA and Ansys for the industrial engineering market.
2026-07-11
Record round
Mistral AI just raised €600 million. The pressure to convert it starts now.
Mistral AI just raised €600 million in a record funding round led by General Catalyst, becoming France's most valuable AI startup. The pressure to turn that capital into market share starts now.
2026-07-11
acquisition
Mistral just bought a company that makes physics run in seconds instead of weeks
Mistral AI acquires Emmi AI to develop physics foundation models that can predict physical behavior in seconds, unlocking accelerated product design, real-time digital twins, and faster tooling development for partners like ASML and Airbus.
2026-07-09