SKIP: Live page status is OPEN with 0 formal proof claims and no current worker, but its 9 May 2026 comments explicitly report a checked, Lean-formalized disproof of the second question; the claimed/falsified-result collision gate therefore applies.