lukeprog comments on High Impact Careers in Formal Verification: Artificial Intelligence