@davidgerard came for the giggle, stayed for what's actually a fairly interesting article about attempts to use AI in verification.