No, you're spot on. However, this sort of thing in the past (previously chess, the engine vs. a horse, etc) has sparked a wave of this kind of thing, which perhaps draws attention to automated logic reasoning in a way that is away from the traditional public tendency to lump all of those things (common sense, leaps of logic, imagination) in with automated reasoning. That could be beneficial, especially if we want to explore it as a tool. It is a stunt, but if anyone would be able to start these kinds of conversations, it would be IBM.
No, I accidentally pressed the downvote on an iPad when viewing your comment. I had meant to upvote you. I've upvoted this other comment of yours, though, to make up for it. Sorry for the trouble.
