mistral.ai

IA

Speaking of Voxtral | Mistral AI

Voxtral TTS propose un modèle de synthèse vocale innovant, léger et performant, capable de générer des voix multilingues naturelles et expressives. Avec une latence très faible et une personnalisation facile, il s'adapte aux nuances des locuteurs tout en maintenant une grande qualité audio. Les utilisateurs peuvent tester le modèle dans Mistral Studio, et il supporte plusieurs langues avec des options de modifications vocales. De plus, il affiche des performances supérieures par rapport à des concurrents comme ElevenLabs, notamment en termes de naturalité et d'expressivité émotionnelle.

IA

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

Leanstral est un agent de code open-source révolutionnaire conçu pour Lean 4, capable de générer du code et de prouver formellement son implémentation. Il surmonte les limites de l’ingénierie logicielle en minimisant le besoin d'examen humain, tout en offrant une efficacité supérieure par rapport aux autres modèles open-source. Leanstral est optimisé pour les tâches d'ingénierie de preuves, avec une architecture peu dense permettant une performance élevée et des coûts réduits. Il est accessible via l'API et intégré directement dans Mistral Vibe pour une utilisation immédiate.

IA

Mistral AI raises 1.7B€ to accelerate technological progress with AI | Mistral AI

Mistral AI a annoncé une levée de fonds de 1,7 milliard d'euros, évaluant l'entreprise à 11,7 milliards d'euros. Cet investissement, dirigé par ASML, vise à faire avancer la recherche en IA et à résoudre des défis technologiques complexes dans les industries stratégiques. Mistral AI prévoit également de développer des solutions d'IA décentralisées sur mesure pour différents secteurs afin d'améliorer leur compétitivité. Les investisseurs incluent également des acteurs majeurs comme NVIDIA et Andreessen Horowitz.