LLMMistral
Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
Mistral AI released Leanstral 1.5, an open-source model designed for formal verification in Lean 4 that achieves strong...
The Decoder
LLM · Mistral
Featured
LLM
Mistral enters robotics with Robostral Navigate, an 8B model that steers robots using just one camera
Mistral is entering the robotics market with Robostral Navigate, an 8B model that guides robots through unknown environments using only a single RGB camera. Trained in simulation and refined with...
The Decoder
Read more
LLMMistral
Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Mistral AI released Leanstral 1.5, an open-source Apache-2.0 Lean 4 code agent model that solves 587 of 672 PutnamBench...
MarkTechPost
LLMMistral
Mistral AI Tackles Unstructured Data Challenge with OCR 4
Mistral AI has released OCR 4, a model designed to handle unstructured data with features like bounding boxes for...
AI Business
LLMMistral
Mistral's new OCR model beats competitors in 72 percent of blind test cases, company says
Mistral AI has released OCR 4, a new optical character recognition model designed to extract text from documents like...
The Decoder
LLMMistral
Mistral OCR 4 Brings Citation-Ready Structured Output to RAG, Agentic, and Enterprise Search Pipelines
Mistral AI released OCR 4 on June 23, 2026, introducing structured document output with bounding boxes, typed...
MarkTechPost
LLMMistral
Mistral AI Taps Legal Sector With Harvey Partnership
Mistral AI is partnering with Harvey to expand into the legal sector, leveraging generative AI for legal applications....
AI Business
LLMMistral
SAP taps Mistral AI to help customers migrate legacy software
SAP has partnered with Mistral AI to leverage their language models for helping customers migrate legacy software to...
The Decoder
LLMMistral
Mistral's new flagship Medium 3.5 folds chat, reasoning, and code into one model
Mistral released Medium 3.5, a unified flagship model that consolidates separate chat, reasoning, and code capabilities...
The Decoder
Stay Updated
Get the latest AI news delivered to your inbox every morning. No spam, unsubscribe anytime.