Mistral
- Mistral Open-Sourced Voice AI. Your ElevenLabs Bill Is Now a Choice.
Mistral released Voxtral TTS, an open-weights text-to-speech model with 70ms latency, 9 languages, and voice cloning from 3-second samples. For engineering teams building voice agents, the per-character billing model just became optional.
- Mistral Forge: When the Generic API Hits Its Ceiling
Mistral Forge lets enterprises train frontier-grade AI models on their own proprietary knowledge -- with launch partners including ASML, the ESA, and Ericsson. The engineering argument: RAG gets you retrieval, not reasoning. When your domain knowledge isn't on the internet, you need a different approach.
- Mistral Small 4: One Model for Reasoning, Multimodal, and Coding
Mistral Small 4 unifies reasoning, multimodal, and coding agent capabilities into a single 119B MoE model under Apache 2.0. 6B active parameters at inference, 256K context, configurable reasoning effort. One deployment replaces three specialised models.
- Leanstral: Formal Verification as the New Quality Gate
Mistral released Leanstral, the first open-source AI agent designed for formal verification in Lean 4. At $36 for pass@2, it outperforms Claude Sonnet on the FLTEval benchmark at 1/15th the cost. The bottleneck in AI-assisted engineering has shifted from code generation to code review -- and Leanstral is an attempt to move it again.