Mistral AI Releases Shieldstral 1.0 3B: An Open-Weights⭐7

Shieldstral 1.0 3B is an open-weights multimodal safety classifier with adaptive policies, matching models 7x its size for efficient content moderation.

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code⭐7

Mistral AI releases Leanstral 1.5, an Apache-2.0 Lean 4 code agent solving 587 of 672 PutnamBench problems for advanced theorem proving.

Mistral Reportedly in Talks to Raise €3B at €20B Valuation⭐9

French AI lab Mistral AI is in early talks to raise €3B, targeting a €20B valuation as demand for sovereign European AI grows.