Microsoft strikes 'multibillion-dollar' deal with French AI firm Mistral

Mistral's Leanstral 1.5 finds real bugs while acing math tests

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories. The article Mistral's…

Mistral joins rush to build physical AI

Mistral joins rush to build physical AI Computerworld

Mistral's OCR model beats competitors in 72 percent of tests

Mistral AI has released OCR 4, a new model that reads text from documents like PDFs, Word files, and PowerPoint presentations. The article Mistral's new OCR model beats competitors in 72 percent of blind test cases…

Mistral launches OCR 4 for structured document extraction in 170

Mistral AI Blog: Mistral debuts OCR 4, a model featuring structured document extraction with bounding boxes, block classification, and inline confidence scores, in 170 languages — Today, we're releasing Mistral…