SKIP: The live page status is “OPEN (LEAN)”, but it lists “1 claimed proof” and JohanLand as “Currently working on this problem”; per the mandatory collision rule, no mathematical attempt was made.