SKIP: Live-page status is OPEN with 0 formal proof claims and no current worker, but the 30 April 2026 discussion explicitly claims a Matomäki–Radziwiłł proof, links a solution note, and includes a later “standard check found no issues” comment; per the no-duplication rule, no mathematical attempt was made.