SKIP: Live page status OPEN (accessed 2026-07-28); it lists “1 claimed proof for this problem,” specifically a partial proof claimed by Rafik Zeraoulia using OpenAI GPT-5.6 Thinking and submitted 2026-07-27 01:49:56, while “Currently working on this problem” is None, so the mandatory no-duplication stop rule applies.