Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems⭐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.