SKIP: Live page status OPEN, but it lists 1 claimed proof and Lherdos as currently working on the problem; mandatory no-duplication/no-collision stop.