AI will definitely make more people thing about verification. Formal or otherwise.