(Recientemente se ha publicado el test de primalidad AKS, que es un test de primos en tiempo polinómico que no requiere de la HGR.)