Introducing Mistral Small 4
Read OriginalMistral AI introduces Mistral Small 4, a new Apache 2 licensed 119B parameter model. It unifies the capabilities of their flagship models for reasoning, multimodal tasks, and agentic coding 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