SKIP: The live page status is OPEN and lists RobSneiderman under “Currently working on this problem” (with 0 claimed proofs), so the mandatory no-collision rule requires stopping.