SKIP: Live page status OPEN, but it lists 1 claimed proof (a full proof claimed by Rob Sneiderman, submitted 2026-07-21) and identifies lof310 as currently working on the problem.