SKIP: The live page is OPEN with 0 formal claimed proofs and no current worker, but its 2026-07-28 discussion comment explicitly reports that GPT-5.6 Pro claims a negative resolution (with a linked manuscript sent to experts), so the mandatory no-duplication/collision gate applies.