Mistral AI Unveils Voxtral TTS, Mistrall MoE, and Lean Reasoning
Mistral AI releases Voxtral TTS for real-time voice agents, introduces Mistrall sparse MoE merging coding and reasoning, and explores formal proving with Lean. The company emphasizes efficient specialized models, open weights, and forward-deployed engineering to drive enterprise AI adoption.