#mistral
// 4 transmissions tagged with #mistral
Mistral Medium 3.5 lands as a 128B dense model with agentic features
Mistral shipped Medium 3.5 on April 29 — a 128B dense model with new agentic primitives. The Paris lab continues its open-weight cadence as American competitors close their frontier.
Mistral ships Voxtral TTS open-source for nine languages
Mistral released Voxtral TTS as an open-source text-to-speech model on March 23. Supports nine languages including Hindi and Arabic. Designed for enterprise voice agents.
Mistral's Leanstral writes machine-checkable proofs in Lean 4
Mistral released Leanstral on March 16 — the first open-source AI agent built specifically for Lean 4 formal proof engineering. Generates code plus a machine-checkable proof of correctness.
Mistral Large 3 ships as 41B-active sparse MoE under Apache 2.0
Mistral 3 family launched with three dense small models (3B, 8B, 14B) and Mistral Large 3 — a sparse MoE with 41B active and 675B total parameters. All under Apache 2.0. Large 3 hits #2 in OSS non-reasoning on LMArena.