

Mistral's benchmarks show that Saba performs excellently in Arabic while maintaining comparable English capabilities | Source: Mistral AI



Mistral's benchmarks show that Saba performs excellently in Arabic while maintaining comparable English capabilities | Source: Mistral AI
Mistral AI released Leanstral1.5, an open-source model for Lean4 under Apache-2.0. It has 119B total parameters but only 6B active, balancing performance and cost. It achieved 100% completion on both validation and test sets of the miniF2F formal math benchmark and has tackled challenging reasoning tasks like Putnam.....
Leanstral 1.5, by Mistral AI, is a math formal proof model for Lean4 with 119B total parameters but only 6B active at inference. Fully open-source (Apache-2.0), it achieves 100% completion on miniF2F validation and test sets, and excels on PutnamBench.....
Mistral AI (France) launches OCR4 document recognition model, supporting 170 languages across 10 language families. It scored 93.07 on OmniDocBench, with accurate and natural outputs, outperforming GPT-5.5 Pro and Gemini-3.1 Pro in user experience.....
French AI startup Mistral AI released OCR 4, a document recognition model supporting 170 languages across 10 language families. It scored 93.07 in authoritative tests, and human review rated its output quality above competitors like GPT-5.5 Pro. The model is compact, versatile across many tasks, and specialized in document recognition.....
The U.S. government recently imposed export controls on Anthropic's cutting-edge safety model, suspending access, which inadvertently validated warnings from European competitor Mistral AI. Mistral CEO Mensch had repeatedly cautioned about risks of over-reliance on U.S. large models, bolstering his case for the European market.....