@tao I like the term and the concept of "artificial cleverness" - and in my eyes it should not get a negative conotation. Richard Feynman was a famous (theoretical) physicist (1918-1988), and he was a fan of cleverness. (See the anecdotes in his book "Surely you are joking Mr. Feynman") One of his proposals was: You should have your personal toolbox with a dozen or so special tricks. And always, when you listen to a talk where you are not really at home, go through the elements of your toolbox and look if you can apply one of them. I think, Feynman was a pragmatic scientist (including cleverness) in the best possible way.