SKIP: Live page status OPEN; it lists 1 claimed proof—a partial proof claimed by Ákos Dúcz and Dániel Varga, submitted 2026-07-29, asserting a finite planar unit-distance graph with independence ratio strictly below 1/4—while “Currently working on this problem” is None, so the mandatory no-duplication rule applies.