SKIP: Live-page status is OPEN with 0 claimed proofs, but Rafikzeraoulia2025 is listed as “Currently working on this problem”; stopped before mathematical work to avoid colliding with a current worker.