AI will make formal verification go mainstream

New blog post