alt Hacker NewsWell, 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.
> Well, we name conjectures after the conjecturer not the (dis)prover
That’s not universally true. Some conjectures are renamed after being proven. For example, Fermat’s Last Theorem is now sometimes called the Fermat-Wiles Theorem, the Taniyama-Shimura Conjecture is often referred to as the Modularity Theorem now, etc.