Comment by coffeemug

There is a huge class of problems that's extremely difficult to solve but very easy to check.