En 1876 Édouard Lucas probó que $2^{127}-1$, un número de Mersenne, es un número primo. Al día de hoy sigue siendo el número primo más grande que se ha encontrado a mano. %% [[Parker2014]] %% #Rev/2602 #Tipo/Apunte