“It can use the same Lean and same proof to do formally verified software. I think that's going to be a really powerful piece of cybersecurity. That's relevant…”
@Dwarkesh Podcast
Formal verification flips from academic backwater to mainstream as LLMs generate provable, unhackable software at scale.