Bevisassistenten Lean leveres nå med verifiserte kjerner etter at KI-agenter har vist seg svært effektive til å finne sårbarheter, blant annet i selve bevissjekkeren.

Kilde: https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/