Demostró la divergencia de la serie formula_4, y en 1747 demostró que todos los números perfectos pares son de la forma 2(2 - 1), donde el segundo factor es un número primo de Mersenne.