SKIP: LIVE PAGE STATUS OPEN (0 formal claimed proofs; “Currently working: None”), but its newest discussion comment (Liam Price, 30 Apr 2026) explicitly says “GPT-5.5 Pro claims a disproof to the first question” and links the claimed proof, with a follow-up giving the purported counterconstruction; the mandatory claimed-proof stop rule therefore applies.