Opinion/The difference between human and machine »intelligence«…

Humans have a curious property in how they go about puzzles; even formal ones, by »deriving a number of theorems, quite at random, just to see what kind of things turn up. Pretty soon, they begin to notice some properties of the theorems they have made; that is where human intelligence enters the picture.« 1 Even for rule systems based on very simple generative procedures, it is often not obvious,…