Erdős Problem #996
Prior state unknown→disproved
Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review