Comment by p-e-w

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