SKIP: LIVE PAGE status OPEN (accessed 2026-07-28); it lists “1 claimed proof for this problem”—a partial proof claimed by Lezhe Gao, submitted 2026-07-22 with external proof at Zenodo record 21475089—so Step 0 forbids a mathematical attempt.
SKIP: LIVE PAGE status OPEN (accessed 2026-07-28); it lists “1 claimed proof for this problem”—a partial proof claimed by Lezhe Gao, submitted 2026-07-22 with external proof at Zenodo record 21475089—so Step 0 forbids a mathematical attempt.