Comment by haberman

> The primality proof took 31 days of non-stop computing on a PC with an Intel I7-4790 CPU.

How does this work? You just try to divide by every possible number and ensure the result isn't an integer?