Desk archive
French AI firm Mistral AI, often misunderstood as a direct OpenAI competitor, is increasingly positioning itself as a sovereign AI cloud provider for enterprises and…
Read more
Mistral AI has released Leanstral 1.5, an Apache-2.0 licensed code agent model designed for Lean 4, specializing in automated theorem proving and proof engineering. The…
Read more
French AI lab Mistral AI is reportedly in early discussions to raise €3 billion, which could push its valuation to approximately €20 billion, nearly doubling…
Read more