Erdős Problem #619
Prior state unknown→disproved
VibeMathed records this result as “Erdős Problem #619.” The registry entry and named primary source contain the available statement and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review