Mistral has released Mistral Small 4, a new 119B parameter Apache 2 licensed model that combines reasoning, multimodal, and coding capabilities into a single versatile model. It features a 'reasoning_effort' parameter for controlling output verbosity and is available on Hugging Face. The company also announced Leanstral, a model specifically tuned for generating Lean 4 formally verifiable code.
Background
Mistral AI is a prominent French AI startup known for developing open-weight large language models that compete with major players like OpenAI and Anthropic. The company has previously released models like Mistral 7B and Mixtral 8x7B that gained significant traction in the open-source AI community.
- Source
- Simon Willison
- Published
- Mar 17, 2026 at 07:41 AM
- Score
- 7.0 / 10