SKIP: Live page status OPEN; it lists a partial proof claimed by Xiyu Hu (submitted by hxypqr on 2026-07-23) and names hxypqr as currently working on the problem, so the mandatory no-duplication rule applies.
SKIP: Live page status OPEN; it lists a partial proof claimed by Xiyu Hu (submitted by hxypqr on 2026-07-23) and names hxypqr as currently working on the problem, so the mandatory no-duplication rule applies.