AI will make formal verification go mainstream