(Red) Alford probó la infinitud de los números de Carmichael en 1994.