SKIP: The live page is OPEN but lists 1 claimed proof—a full proof claimed by Liam Price (using GPT Pro), submitted 2026-07-15—and lists “Currently working on this problem: None”; the claimed-proof stop condition applies.
SKIP: The live page is OPEN but lists 1 claimed proof—a full proof claimed by Liam Price (using GPT Pro), submitted 2026-07-15—and lists “Currently working on this problem: None”; the claimed-proof stop condition applies.