Back
Mistral AINew model
We released Mistral Small 4, a hybrid model unifying instruct, reasoning, and coding in a single multimodal…
AI summary
Written by AI from the official notes. Check them for exact details.Mistral AI launched Mistral Small 4 and Leanstral, enhancing multimodal capabilities and formal proof engineering.
- Mistral Small 4 combines instruct, reasoning, and coding in one model.
- Mistral Small 4 features a 256k context window.
- Leanstral is the first open-source code agent for Lean 4.
Why it matters: Developers and researchers in AI and formal proof engineering should explore these new tools for enhanced capabilities.
Full release notes2 changes
- We released Mistral Small 4 (
mistral-small-2603), a hybrid model unifying instruct, reasoning, and coding in a single multimodal model with a 256k context window. - We released Leanstral (
labs-leanstral-2603), our first open-source code agent designed for Lean 4 formal proof engineering.