Mistral's Leanstral 1.5 hits 100% on miniF2F, finds 5 real bugs
Article summary
Quick briefing — cleaned from the original RSS feed
Mistral's Leanstral 1.5 scores 100% on miniF2F, solves 587 Putnam problems, and finds 5 real bugs in open-source code. Mistral AI released Leanstral 1.5, an open-source model that scores 100% on the miniF2F formal math benchmark. The model also found five previously unknown bugs in 57 open-source repositories. Key facts 100% on miniF2F formal math benchmark Solves 587 of 672 Putnam problems Found 5 bugs in 57 open-source repos Apache 2.0 license, available on Hugging Face Trained with…
1Key Takeaways
- Mistral's Leanstral 1.5 scores 100% on miniF2F, solves 587 Putnam problems, and finds 5 real bugs in open-source code.
- Mistral AI released Leanstral 1.5, an open-source model that scores 100% on the miniF2F formal math benchmark.
- The model also found five previously unknown bugs in 57 open-source repositories.
- Key facts 100% on miniF2F formal math benchmark Solves 587 of 672 Putnam problems Found 5 bugs in 57 open-source repos Apache 2.0 license, available on Hugging Face Trained with….
2AIWedia Score
8.4/10
High relevance — worth your attention today
Based on source trust, recency, category impact, and story depth.
3Why it matters
Coding AI shifts how fast software ships and how much human review each change needs. DEV — ML reports that mistral's Leanstral 1.5 scores 100% on miniF2F, solves 587 Putnam problems, and finds 5 real bugs in open-source code.
Explore related
Browse toolsCoding AI news
Explore curated coding ai tools on AIWedia — compare, rank, and launch from our directory.
Full story on DEV — ML
Read full articleHeadlines aggregated via RSS for discovery on AIWedia. Original content © DEV — ML. We link to the source and do not republish full articles.