SKIP: The live page is OPEN but lists 1 claimed full proof (Principia Math, submitted 2026-07-23) and current workers ruiliangli and Basile_Beyer_de_Ryke, so no attempt was made.