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 perh

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.