SKIP: The authoritative live page is OPEN with 0 claimed proofs, but lists Hotdingus as currently working on problem #1049, so the required no-collision rule applies.