SKIP: Live page status OPEN with 0 claimed proofs, but “Currently working on this problem” lists Ritvik_Nayak (accessed 2026-07-31), so the mandatory no-collision rule requires stopping.