How does one even find something like this? Let alone prove that this is the first counterexample. That number looks to be in the order of the age of the univer

How does one even find something like this? Let alone prove that this is the first counterexample. That number looks to be in the order of the age of the universe in millionths of a quectosecond!!