# Mistral releases Leanstral 1.5 formal proof model and Shieldstral safety classifier

> The French lab Mistral has shipped two releases at once, both aimed at the less glamorous plumbing of trustworthy AI. Leanstral 1.5 is an updated model for writing formal proofs in Lean 4, with a cleaner training mixture and better long-context reasoning, the kind of tool that helps verify mathematics and software rather than just chat about it. The more broadly useful piece may be Shieldstral, a 3 billion parameter open-weights safety classifier that reads both text and images and returns calibrated safety scores. Crucially it is small enough to run on a single 16GB GPU, which puts content moderation and guardrail tooling within reach of teams that cannot afford to route everything through a big provider's API. Mistral also confirmed a new 10 megawatt inference facility in Les Ulis, opening in the third quarter, part of Europe's push for sovereign AI capacity it controls itself. Taken together the news is a reminder that a smaller lab can still carve out real ground by open-sourcing the safety and verification layers the giants tend to keep closed.

_Section: [Daily AI Updates](https://www.wortins.com/daily-ai) · Source: Mistral · Published Wednesday, August 12, 2026_

## Wortins' read

The French lab Mistral has shipped two releases at once, both aimed at the less glamorous plumbing of trustworthy AI. Leanstral 1.5 is an updated model for writing formal proofs in Lean 4, with a cleaner training mixture and better long-context reasoning, the kind of tool that helps verify mathematics and software rather than just chat about it. The more broadly useful piece may be Shieldstral, a 3 billion parameter open-weights safety classifier that reads both text and images and returns calibrated safety scores. Crucially it is small enough to run on a single 16GB GPU, which puts content moderation and guardrail tooling within reach of teams that cannot afford to route everything through a big provider's API. Mistral also confirmed a new 10 megawatt inference facility in Les Ulis, opening in the third quarter, part of Europe's push for sovereign AI capacity it controls itself. Taken together the news is a reminder that a smaller lab can still carve out real ground by open-sourcing the safety and verification layers the giants tend to keep closed.

## Source

[Read the full story at Mistral](https://releasebot.io/updates/mistral)

## Related coverage

- [Callosum Raises $100 Million to Match AI Tasks with Most Cost-Effective Models](https://www.wortins.com/story/callosum-raises-100-million-to-match-ai-tasks-with-most-cost-da05cef6) — [Bloomberg](https://www.bloomberg.com/news/articles/2026-08-20/ai-startup-callosum-raises-100-million-to-make-ai-tasks-cheaper)
- [AI Consciousness Debate Is a Trap, Says MIT Technology Review](https://www.wortins.com/story/ai-consciousness-debate-is-a-trap-says-mit-technology-review-54e8082c) — [MIT Technology Review](https://www.technologyreview.com/2026/08/20/1142571/ai-consciousness-debate-trap/)
- [Anthropic Adds Claude Mythos 5 to Claude Security for Vulnerability Scanning](https://www.wortins.com/story/anthropic-adds-claude-mythos-5-to-claude-security-for-vulner-34ff7302) — [Anthropic](https://claude.com/blog/bringing-claude-mythos-5-to-more-defenders)
- [Google DeepMind Releases Gemini Robotics 2 With Whole-Body Control](https://www.wortins.com/story/google-deepmind-releases-gemini-robotics-2-with-whole-body-c-578b43eb) — [Google DeepMind](https://deepmind.google/blog/gemini-robotics-2-brings-whole-body-intelligence-to-robots/)
- [Google Cloud Launches Gemini Enterprise for Financial Services](https://www.wortins.com/story/google-cloud-launches-gemini-enterprise-for-financial-servic-5d0fd141) — [Google Cloud](https://www.googlecloudpresscorner.com/2026-08-25-Google-Cloud-Launches-Gemini-Enterprise-for-Financial-Services)
- [EU AI Act High-Risk Compliance Deadline Pushed to December 2, 2027](https://www.wortins.com/story/eu-ai-act-high-risk-compliance-deadline-pushed-to-december-2-309a6aa4) — [Cloud Security Alliance](https://labs.cloudsecurityalliance.org/research/csa-research-note-eu-ai-act-omnibus-vii-deadline-delay-20260/)

---

_Curated and written by [Wortins](https://www.wortins.com) — The daily AI briefing. Every story links to its original source; the "Wortins read" on each is our own original analysis. [About Wortins & our editorial approach](https://www.wortins.com/about)._