SKIP: Live page status is OPEN, but it lists “1 claimed proof for this problem” (a partial proof claimed by KyungMin Han, submitted 2026-07-25 by Dogcake); “Currently working on this problem” is None.
SKIP: Live page status is OPEN, but it lists “1 claimed proof for this problem” (a partial proof claimed by KyungMin Han, submitted 2026-07-25 by Dogcake); “Currently working on this problem” is None.