Formal verification is typically only used in highly safety-critical systems - and often isn't used there either. If you look at the main applications for intelligent systems, not terribly many are safety critical - and the chances of being able to do much in the way of formal verification at a high-level seems pretty minimal anyway.