> 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 op

> 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.