SKIP: The authoritative live page (accessed 2026-07-29) has status OPEN, 0 claimed proofs, and lists Shadow under “Currently working on this problem”; stopped to avoid colliding with a current worker.