SKIP: Live page status is OPEN, but it lists one full claimed proof (Shouqiao Wang, submitted 2026-07-19), so the mandated no-duplication rule applies.