SKIP: The live page is OPEN with 0 claimed proofs but lists jif as “Currently working on this problem” (accessed 2026-07-28), so an attempt would collide with a current worker.