Mistral AI launches Leanstral 1.5 – an open AI model for mathematics
French company Mistral AI has released Leanstral 1.5, an open model tailored for the Lean 4 mathematical proof language. The model combines high performance with low computational costs.
What happened?
Mistral AI has launched Leanstral 1.5, an open-source model specialised for the Lean 4 mathematical proof language. The model has a total of 119 billion parameters but activates only 6 billion per inference. In evaluations, the model reached 100 percent on the miniF2F benchmark and solved 587 out of 672 problems in PutnamBench.
Key facts
| Modellnamn | Leanstral 1.5 |
|---|---|
| Licens | Apache-2.0 |
| Totalt antal parametrar | 119 miljarder |
| Aktiverade parametrar | 6 miljarder |
| Resultat i miniF2F | 100% färdigställande |
| Resultat i PutnamBench | 587 / 672 lösta problem |
Why it matters
By activating only 6 billion of its 119 billion parameters, computational costs and hardware requirements are significantly reduced without sacrificing performance. This makes advanced mathematical reasoning capabilities accessible to a wider research community.
Who is affected?
The model is aimed at mathematicians, researchers, and software testers working with formal verification and Lean 4. The low resource requirements make the tool accessible to smaller research teams and academic institutions.
Impact on the EU
Leanstral 1.5 is released under an open-source license and is available to researchers and developers within the EU without restrictions. The low hardware requirements make it easier for European academic and research institutions to run the model locally in compliance with data protection regulations.
What else you should know
The Apache-2.0 licensing allows for both commercial use and further research without fees. The model represents a step forward in automating and verifying complex mathematical proofs in large-scale projects.
Quick answers about this story
Vad har hänt?
När hände det?
Varför spelar det roll?
Påverkar det EU?
The link opens in a new window and leads to the publisher's own site.
Källan har spårats automatiskt från utgivaren via Aheadlines signalkedja.
AI-verktyg i artikeln
Topics
Get similar news straight to your inbox
The reader's room
Send in a question or an addition. The newsroom reads everything before it's published and replies when relevant. No AI-generated text – just people.
Sign in to submit a comment or question.
Read the article through your role
- Decide whether this affects strategy over 6–12 months or is just noise.
- Discuss with leadership: do we own the right question or does ownership need to move?
- Ask: what risk are we taking by NOT acting on this this quarter?
Generated angle — not editorial analysis of "Mistral AI launches Leanstral 1.5 – an open AI model for mat"