SKIP: The authoritative live page is OPEN and shows “Currently working on this problem: None”, but it lists 1 claimed proof—a full proof claimed by RayYoung, Keheng Zhu, and Yanping Luo, submitted 2026-07-18—so the mandatory non-duplication gate applies.