[082349872349872]

A corollary for natural intelligence: if you can prove that all foos are bar, and that all foos are not bar, that's a good time to suspect that no foos actually exist.

(I still don't understand why everyone seems happy to conflate "intelligence" with fact-retrieval?)

[ajuc]

> I still don't understand why everyone seems happy to conflate "intelligence" with fact-retrieval?

Because it's useful and impossible till very recently.

[persnickety]

Because there is no single widely accepted definition of intelligence.

[082349872349872]

No widely accepted definition, but fact retrieval is outside of any of the ones with which I'm familiar.