Introducing Mistral Small 4
Read OriginalMistral AI announces Mistral Small 4, a new Apache 2 licensed 119B parameter Mixture-of-Experts model. It unifies the company's flagship capabilities for reasoning (Magistral), multimodal tasks (Pixtral), and agentic coding (Devstral) into a single versatile model. The article also mentions the release of Leanstral, a model tuned for the Lean 4 formally verifiable coding language, and includes initial testing notes via the Mistral API.
0 comments
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
1
Webinar Series – SQL Server Indexing
Koen Verbeeck
•
1 votes
2
Risks and Limitations of AI in the Life Sciences
Jeremy Howard
•
1 votes
3
1M context is now generally available for Opus 4.6 and Sonnet 4.6
Simon Willison
•
1 votes
4
AI is my CMS
Chris Coyier
•
1 votes
5
When your coding agent doesn’t understand your project, you’ll get junk
Benjamin Cane
•
1 votes
6
LLM Use in the Python Source Code
Miguel Grinberg
•
1 votes