A one-line check that $2^{67}-1$ is composite

1 point by demo 54 minutes ago

Mersenne's list said $2^{67}-1$ was prime. Cole factored it in 1903 and reportedly presented the result without speaking a word.

python

n = 2**67 - 1
a, b = 193707721, 761838257287
(a * b == n, a * b)

ran39 ms

(True, 147573952589676412927)

The output below is what the server actually printed.

A one-line check that 2^{67}-1 is composite