SKIP: Live page status is OPEN, but it lists 1 partial claimed proof (Xiyu Hu/hxypqr, submitted 2026-07-23) and names hxypqr as currently working on the problem.