Mistral

Latest AI news, models and releases from Mistral. ['AB-UPT', 'CodeStral-22B', 'Connectors', 'Devstral', 'Devstral 2', 'Devstral 2 Small', 'Devstral Small 2', 'Document AI', 'Emmi AI', 'Forge', 'GyroSwin', 'Leanstral', 'Leanstral 1.5', 'Leanstral (предыдущая версия)', 'Le Chat', 'Le Chat (Vibe)', 'Magistral', 'MiMo-V2-Flash', 'Ministral 3', 'Ministral-3-3B-Instruct-2512', 'Ministral-3-8B-Instruct-2512', 'Ministral 3B', 'Mistral', 'Mistral 3', 'Mistral 7B', 'Mistral-7B', 'Mistral AI', 'Mistral Large', 'Mistral Large 2', 'Mistral Large 3', 'Mistral-Large-V2', 'Mistral Medium 3.1', 'Mistral Medium 3.5', 'Mistral Nemo', 'Mistral OCR 3', 'Mistral OCR 4', 'Mistral OCR4', 'Mistral Search Toolkit', 'Mistral Small', 'mistral-small-2603']

Official site ↗

Models 🇺🇸

Mistral AI releases Leanstral 1.5: a free model for formal verification with record results

Mistral AI has released Leanstral 1.5, a free Apache-2.0 licensed model with 119B total and 6B active parameters, achieving state-of-the-art results in formal verification. It saturates the miniF2F benchmark, solves 587/672 PutnamBench problems, and sets new records on FATE-H (87%) and FATE-X (34%). The model also uncovers real-world bugs in open-source repositories.

Mistral

OpenAI

Mistral AI27.07 · 05:04

Open Source 🇺🇸

Hugging Face and Microsoft Foundry: Open Models on Managed GPUs

Hugging Face and Microsoft Foundry have partnered to bring open-weight models from the Hugging Face ecosystem to the Foundry platform, providing managed GPU compute. The curated Hugging Face Collection offers security-screened models across modalities, with deployment templates and automated runtime management. This enables enterprises to deploy open models with the same ease as proprietary models on Foundry.

Microsoft

Hugging Face

OpenAI

Anthropic