Leanstral 1.5 · AI/ML Today

Ask

Ask about this presentation

Answers are generated from this presentation.

Chapters

1. 1Slide 10:00
2. 2Top open prover on PutnamBench: 587 of 6720:09
3. 3It doesn't just solve problems. It operates the tools.0:21
4. 4Beats Opus 4.6 on formal proof: pass@8 43.2 vs 39.60:39
5. 55 bugs nobody had reported, in shipping code0:59
6. 6Read the fine print: whose benchmarks, and at what budget1:21
7. 7Open weights on Hugging Face · Apache-2.0 · free API1:45
8. 8Slide 81:51