SKIP: LIVE PAGE STATUS OPEN (0 formal claimed proofs; no current-worker or interested markers), but its 21–22 April 2026 discussion contains a claimed solution—arXiv:2604.18535 is said to give negative answers and matching \(N(\log N)^{1/2+o(1)}\)-scale bounds for #995—so the mandatory no-duplication rule applies.