Also, the above definition is essentially the original (50s-70s) definition of AI, and I reckon that school of thought didn't end too well. By that definition,

Also, the above definition is essentially the original (50s-70s) definition of AI, and I reckon that school of thought didn't end too well. By that definition, current computers are way more intelligent than humans under almost every benchmark. SAT- and SMT- solvers can tackle huge problems without breaking a sweat. We humans, by comparison, are pretty crap at state space search, but we shine when said state space is dynamic or the search is heavily context-dependent.