SKIP: Live page status OPEN (last edited 17 April 2026; accessed 2026-07-28), with 0 claimed proofs, but “Currently working on this problem” lists conglu and RaziqStark; stopped to avoid colliding with current workers.