SKIP: Live page status OPEN, but it lists “1 claimed proof for this problem” (with “Currently working on this problem: None”), so the mandatory claimed-proof stop rule applies.