SKIP: The live page is OPEN - $250 but lists 1 claimed proof (a partial proof claimed by Liam Price, submitted 2026-07-24, asserting the first question) and Sam_Petkov as currently working on the problem; mandatory no-duplication/no-collision stop.