Análisis matemático riguroso del modelo de cuasiespecies: De Manfred Eigen a los desarrollos recientes