SKIP: Live page status is OPEN (0 formal claimed proofs; “Currently working” marker: None), but its April 2026 comments explicitly claim possible/complete solutions and state that Brayden Letwin is actively working with Marcus Michelen and Oren Yakir on a stronger result, so proceeding would duplicate a claimed solution and collide with current workers.