# Mistral AI — Leanstral 1.5: Proof Abundance for All

- Company: Mistral AI (mistral.ai)
- Announced: 2026-07-02T00:00:00+00:00
- Category: research-paper
- Subject: Mistral / Le Chat
- Models affected: Leanstral 1.5
- Source: https://mistral.ai/news/leanstral-1-5
- Record: https://forck.live/items/3290-leanstral-1-5-proof-abundance-for-all

Mistral AI announces Leanstral 1.5, a research model focused on proof abundance.

## Evidence

Verbatim from https://mistral.ai/news/leanstral-1-5:

> Research Leanstral 1.5: Proof Abundance for All

---

Record: https://forck.live/items/3290-leanstral-1-5-proof-abundance-for-all
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md