Isn't this like the P vs NP problems? Once you have a solution it is easy to verify?