#lean 4 Tech News.
1 story in the last 7 days
The latest lean 4 news, distilled by AI into sharp ~100-word summaries. ByteBrief tracks lean 4 across dozens of tech sources and brings you only what matters, updated hourly. Tap any story for the full brief, or open the original source.
AIThe Decoderabout 3 hours ago
Mistral AI releases open-source Leanstral 1.5Mistral AI released Leanstral 1.5, an open-source Apache 2.0 model for Lean 4 formal verification. It scores 100% on miniF2F, solves 587 of 672 PutnamBench problems, and set state-of-the-art results on FATE-H and FATE-X algebra benchmarks. In a code scan of 57 repositories, it caught five previously unknown bugs, including an overflow in the Rust library varinteger.
Summaries by ByteBrief