Reposted by @isenbaev.bsky.social
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
martin.kleppmann.com
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
