Mi történik, ha egy matematikai sejtést bebizonyítanak? Arról nevezik el aki bebizonyította, vagy arról aki a sejtést fogalmazta meg? Vagy csak annyit mondanak h xy sejtés bizonyítása?

Mikor mi. Mindkettőre van példa.

Általában, ha egy sejtés sokáig fut egy néven, akkor a bizonyítás után is megmarad a "megsejtő" neve. Például ismert a nagy Fermat-sejtés, amit évszázadokig nem tudtak bizonyítani, aztán 2000. után egy Andrew Wiles nevezetű matematikusnak sikerült bizonyítania, azóta Fermat-Wiles-tételként hivatkozunk rá.

Sőt, van, hogy továbbra is sejtés néven emlegetik, és nehezen cserélik le tételre.