SKIP: Live page status OPEN; it lists one claimed partial proof (Liam Price using GPT Pro, submitted 2026-07-20, claiming the lower bound 0.38055470) and names JJ_ as currently working, so the mandatory non-duplication rule requires stopping.