Horrible title, and wrong. A proof has been created and verified, and the dump file used for verification is the largest ever. Even the description of the con

Horrible title, and wrong. A proof has been created and verified, and the dump file used for verification is the largest ever. Even the description of the conjecture is misleading. Do yourself a favor and read the wikipedia article instead of this one.