SKIP: Live page status is OPEN, but it lists “1 claimed proof for this problem” (a full proof claimed by Eric Hou, submitted 2026-07-21); “Currently working on this problem” is None.
SKIP: Live page status is OPEN, but it lists “1 claimed proof for this problem” (a full proof claimed by Eric Hou, submitted 2026-07-21); “Currently working on this problem” is None.