> appears to be relatively good at problems where finding the initial answer is difficult, but verifying whether a candidate answer is correct is easy.

The opposite can happen too, as Knuth’s recent experience showed. The system suggested an unusual approach that he explored.