SKIP: Live page status OPEN, but it lists 1 claimed full proof—Will Sawin's submitted 2026-07-18 construction giving a positive-density counterexample to the second question (now arXiv:2607.15419)—so the mandatory claimed-proof stop rule applies; “Currently working” is None.