Leanstral 1.5: Formal proofs for $4 instead of $300 per problem
⚡ Quick Summary
Mistral AI releases Leanstral 1.5 under Apache 2.0 license.
Mistral AI releases Leanstral 1.5 under Apache 2.0 license. According to Mistral, the model solves 587 of 672 Putnam tasks and automatically finds bugs in code.
📰 Related Articles
More ballistics, more deaths: Russia is relying on new tactics in attacks on Kiev
n-tv
Apple: AI framework “Trust Insights” is intended to protect against social engineering
Heise Online
Passenger data: German authorities scanned over 627 million records in 2025
Heise Online
Reisner's view of the front: "This is a decisive turning point in this conflict"
n-tv
Xbox: Microsoft wants to get rid of five studios and cut 3,200 jobs
Heise Online