MistralAI Successfully Raises Nearly $500 Million, Valuation Reaches $2 Billion


Mistral AI released the open-source content moderation model Shieldstral, with 3B parameters, under the Apache 2.0 license, supporting 12 languages and running on a single 16GB GPU. It claims performance comparable to 7 times larger models and achieves SOTA in multimodal moderation, but points out that most protection models have a fixed harm classification system.
Samsung plans to increase its investment in French AI firm Mistral AI, following a prior investment by its venture capital arm. If this round proceeds, it will deepen their ties. The company aims to launch a Series D funding at a €20 billion valuation, and the investment could reshape Europe’s AI landscape.....
At the G7 summit, Mistral AI CEO Arthur Mensch highlighted France's advantage in AI due to abundant low-cost nuclear power, noting France exported 92 TWh of electricity last year. He stressed electricity is key to AI development.....
Mistral AI released Leanstral1.5, an open-source model for Lean4 under Apache-2.0. It has 119B total parameters but only 6B active, balancing performance and cost. It achieved 100% completion on both validation and test sets of the miniF2F formal math benchmark and has tackled challenging reasoning tasks like Putnam.....
Leanstral 1.5, by Mistral AI, is a math formal proof model for Lean4 with 119B total parameters but only 6B active at inference. Fully open-source (Apache-2.0), it achieves 100% completion on miniF2F validation and test sets, and excels on PutnamBench.....