SKIP: Live page status on 2026-07-26 is open/VERIFIABLE with 0 claimed proofs, but “Currently working on this problem” lists aditya, will0708, and Ary300; stopping to avoid colliding with current workers.