Leanstral 1.5: Proof Abundance for All
A specialised release for researchers and technical teams working on formal mathematical proof verification. It's unlikely to be part of most professionals' day-to-day work, but it's a notable state-of-the-art result in that niche.
What changed
Source summary
Mistral released Leanstral 1.5, an open-source formal-verification model with 119B total/6B active parameters, saturating the miniF2F benchmark and hitting state-of-the-art scores on FATE-H and FATE-X.
Why it matters to your work
Practical interpretation
A specialised release for researchers and technical teams working on formal mathematical proof verification. It's unlikely to be part of most professionals' day-to-day work, but it's a notable state-of-the-art result in that niche.
Source & availability
This is a summary of a published provider announcement, with practical context from SCALA’s feed.
Plan, region, workspace and rollout conditions may affect access in Australia. Check the original source for current availability.
mistral.aiThis update is primarily for technical teams.