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
From the gas station to the bread shelf: Russia's supply crisis is expanding
n-tvCar gadgets for summer vacation: baby cameras, cool boxes, CarPlay & Co.
Heise Online
Ukraine war: Serious Russian attacks reported before NATO summit
Der Spiegel
Türkiye: Human rights activist criticizes wave of arrests before NATO summit
Der Spiegel
More ballistics, more deaths: Russia is relying on new tactics in attacks on Kiev
n-tv