SKIP: Live page status OPEN with 0 claimed proofs, but “Currently working on this problem” lists ryin and boolean_matrix (accessed 2026-07-28); stopped before mathematics to avoid colliding with current workers.