Many of the existence proofs and some of the uniqueness proofs for the sporadic groups originally used computer calculations, most of which have since been replaced by shorter hand proofs.
Moni olemassaolotodistus ja jotkut yksikäsitteisyystodistukset sporadisille ryhmille tehtiin alun perin tietokoneella, mutta suurin osa niistä on sittemmin korvattu lyhyemmillä käsin tehdyillä todistuksilla.