SKIP: Live page status OPEN with 0 claimed proofs, but “Currently working on this problem” lists arkyang (accessed 2026-07-28); stopped to avoid colliding with the current worker.