SKIP: The live page is OPEN (0 formally logged claimed proofs; Currently working: None), but its discussion has a 27 Apr 2026 comment by Przemek Chojecki saying the problem “was claimed” in the linked preprint arXiv:2604.18535, which triggers the requested claimed-proof stop rule.