SKIP: The live page is OPEN but lists 1 claimed proof—a full proof claimed by Eric Li (using GPT-5.5 Pro), submitted 2026-07-17—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 Eric Li (using GPT-5.5 Pro), submitted 2026-07-17—and lists “Currently working on this problem: None”; the claimed-proof stop condition applies.