AI Lab

Mistral News

Official Mistral announcements — model releases, product launches and research, each one summarized with every source covering it, by AIBriefs. RSS

EventBusiness6 sources

Mistral and Microsoft expand strategic partnership

The partnership spans compute, integration of Mistral models into Microsoft products, and a joint go-to-market for enterprise AI. Mistral CEO Arthur Mensch and Microsoft President Brad Smith announced the expanded collaboration.

LaunchDevelopers3 sources

Mistral introduces versioned prompts and skills in Studio

Mistral AI launched versioned prompts and skills in its Studio platform, enabling team-scoped sharing and iteration by non-developers. Users can save prompt versions and publish skills to Vibe without code releases.

LaunchAI Models5 sources

Mistral releases Leanstral 1.5 formal verification model

Leanstral 1.5 achieves SOTA on formal verification benchmarks: 87% on FATE-H, 34% on FATE-X, and solves 587/672 PutnamBench problems. It is Apache-2.0 licensed with 6B active parameters and has uncovered 5 previously unknown bugs in open-source repositories. The model is available via HuggingFace and a free API.