ByteBrief
We're a portrait publication through and through. Turn your phone back and your briefing picks up right where you left it.
(We tried widescreen once. It wasn't us.)
Mistral AI released the new code agent model named Leanstral 1.5 today for automated theorem proving and proof engineering tasks involving Lean 4. The release updates the earlier Leanstral-2603 model within the Mistral Small 4 family while providing weights under an Apache 2.0 license alongside a live free API endpoint called leanstral-1-5.
Tap to vote and see what everyone thinks.
Summary by ByteBrief