You are really comparing apples to oranges here, and to say that trying to apply formal verification to a probabilistic lying machine is silly would be a coloss

You are really comparing apples to oranges here, and to say that trying to apply formal verification to a probabilistic lying machine is silly would be a colossal understatement.