Mistral
Everything on Ground Truth tagged “Mistral” — 4 items.
Mistral releases a lean, open model built for formal math proofs News
Leanstral 1.5 is a free, open model specialized for writing machine-checked mathematical proofs, using a design that keeps only a small slice of itself active at a time.
The quiet race to turn messy documents into AI-ready text News
Mistral released a new document-reading model the same week an open-source rival surged, both chasing the unglamorous job that quietly decides how well AI can read your files.
Mistral OCR 4 Tool
A hosted document-reading model that converts scanned pages, PDFs, and complex layouts into clean structured text ready for a language model. Send a document, get back tidy text with the structure preserved.
Leanstral 1.5 Tool
A free, open mixture-of-experts model specialized for writing machine-checked Lean 4 proofs and translating ordinary math into formal, verifiable form.