#Mistral AI
10 articles with this tag
Mistral AI's Leanstral Tackles Trust in Code Generation
Mistral AI introduces Leanstral, an open-source code agent for Lean 4, aiming to bring formal verification to AI-generated code and boost engineering efficiency.
Mistral Small 4 Unifies AI Capabilities
Mistral AI unveils Mistral Small 4, a unified model combining text, image, reasoning, and coding capabilities under an open-source license.
NVIDIA Mistral 3: Enterprise AI Gets a MoE Boost
Mistral AI's Strategic Funding Fuels Vertical AI Ambition
Mistral AI Secures €1.7B Series C for AI Frontier Research
Mistral AI secured €1.7 billion in Series C funding, led by ASML Holding NV. This round valued the company at €11.7 billion post-money. The capital will accelerate frontier AI research and develop custom decentralized AI solutions.
Mistral AI Secures €1.7B Series C for AI Frontier Research
\n Mistral AI secured €1.7 billion in Series C funding, led by leading semiconductor equipment manufacturer ASML Holding NV.
Mistral AI Eyes $1 Billion Raise at $10 Billion Valuation
Mistral AI is preparing to raise an additional $1 billion. This funding round targets a $10 billion valuation. The company has already secured investments from Nvidia, Andreessen Horowitz, and Abu Dhabi’s MGX fund.
Mistral AI's Full-Stack Play: Beyond Models for Enterprise Value
