SKIP: Live page status OPEN (0 claimed proofs), but “Currently working on this problem” lists Sam_Petkov; stopped to avoid colliding with a current worker.