Funny, automated reasoning was to AI, in the good old fashioned days, what deep learning is today, in terms of perceived significance and hype.