Well, we name conjectures after the conjecturer not the (dis)prover so there is some incentive to be the guy who comes up with a hard problems. It is curious that we haven’t had something like this improve OR etc. problems. Perhaps not glorious enough.