I really like Gwern’s definition of intelligence which is “search over Turing machines”.

In other words, searching for the right program given some goal.