SKIP: Live Erdős Problems #81 status is OPEN with 0 claimed proofs and “Currently working on this problem: None,” but it lists jtraverso under “I am working on formalising the results on this problem”; this is a current worker, so the mandatory no-collision rule requires stopping without an attempt.