Erdős Problem #26
Prior state unknown→disproved
The question as posed was implicit in Davenport–Erdős (1951); the AI result settles Tenenbaum's open variant negatively
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review