Mistral AI released Leanstral 1.5, a code agent model for the Lean 4 proof assistant. The 119B-parameter model solves 587 of 672 PutnamBench problems, achieving 100% on miniF2F. Apache 2.0 licensed with free API. https://www.marktechpost.com/2026/07/03/mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving-587-of-672-putnambench-problems/ #AIagent #AI #GenAI #AIResearch
Related
@blogdivaOnly a little push is needed.It is not junk quite yet, but their stock is indeed one step removed from the actu...
@blogdivaOnly a little push is needed.It is not junk quite yet, but their stock is indeed one step removed from the actual junk status. I can't wait for the domino's to fall. #ai #...
I think that the "AI" "visionaries" are not solely motivated by malice.It is clear to me that a lot of them lack any kin...
I think that the "AI" "visionaries" are not solely motivated by malice.It is clear to me that a lot of them lack any kind of artistic skill or vision or even a basic understanding ...
Samsung 990 2TB SSD Review: New flash, familiar speedsThe Samsung 990 is the QLC variant of the manufacturer’s 990 EVO P...
Samsung 990 2TB SSD Review: New flash, familiar speedsThe Samsung 990 is the QLC variant of the manufacturer’s 990 EVO Plus. Despite having newer flash, it largely performs like la...