1 stories · 7d·6 sources covering·4 active storylines
What this is
Mistral Large is Mistral AI's flagship frontier model for reasoning and coding. shipfeed tracks Mistral Large releases, version bumps, API changes, and benchmark results.
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 Computerworld
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 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…