Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Article summary
Quick briefing — cleaned from the original RSS feed
Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B mixture-of-experts activates 6.5B parameters per token. We break down its architecture, benchmarks, real bug-finding case studies, and deployment code.
1Key Takeaways
- Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4.
- It saturates miniF2F and solves 587 of 672 PutnamBench problems.
- The 119B mixture-of-experts activates 6.5B parameters per token.
- We break down its architecture, benchmarks, real bug-finding case studies, and deployment code.
2AIWedia Score
8.5/10
High relevance — worth your attention today
Based on source trust, recency, category impact, and story depth.
3Why it matters
New model releases change what is possible for builders, researchers, and everyday AI users. MarkTechPost reports that mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4.
Explore related
Browse toolsRelated tools
AI Models news
Explore curated ai models tools on AIWedia — compare, rank, and launch from our directory.
Full story on MarkTechPost
Read full articleHeadlines aggregated via RSS for discovery on AIWedia. Original content © MarkTechPost. We link to the source and do not republish full articles.