What shipped in AI.

Timestral-123M is a time series foundation model for zero-shot forecasting. It supports univariate and multivariate inputs with past-only and known-future covariates and outputs 21 quantiles. The model card reports MASE 0.659 and CRPS 0.448 on GIFT-Eval, and an SQL skill score of 50.18 on fev-bench.

Voxtral Mini 4B Realtime Arabic is a streaming speech-to-text model for Arabic dialects and Modern Standard Arabic. It is designed to handle challenging real-world audio and code-switching, where speakers alternate between languages within the same conversation.

Mistral Large 4 is a natively multimodal Mixture-of-Experts model with configurable reasoning and native function calling, aimed at coding agents and cybersecurity work. The NVFP4 variant reportedly matches FP8 behavior with a smaller memory footprint.

Shieldstral is a compact 3B-parameter, policy-adaptive multimodal safety classifier. Instead of predicting a fixed set of moderation categories, Shieldstral evaluates content against a safety policy expressed in natural language and returns a single continuous safety score.

Leanstral 1.5 is an open-source code agent model designed for Lean 4, a proof assistant capable of expressing complex mathematical objects such as perfectoid spaces and software specifications like properties of Rust fragments.

Mistral ironically calls 119B 'Small' — Apache 2.0, with instruction-following, reasoning and coding in one. Mistral positions itself as the strongest European open-weights challenger.

Mistral Medium 3.5 is Mistral's first flagship to handle instruction-following, reasoning and coding in a unified way. 418K HF downloads, EAGLE-acceleration variant available. $1.50/$7.50 per MTok on OpenRouter.