SKIP: Live page status is OPEN (accessed 2026-07-27), but it lists “1 claimed proof for this problem”—a partial proof claimed by Jeffrey Zeng and submitted 2026-07-24—while “Currently working on this problem” is None; the mandatory claimed-proof stop gate applies.