Because human-brain heuristics are very good at deciding what to try next, while too complex to be coded into a program in the first place. Of course you could

Because human-brain heuristics are very good at deciding what to try next, while too complex to be coded into a program in the first place. Of course you could formalize those heuristics... trying until they worked ;)