number-theory / Number theory

Erdos Problem #768

Let $A(x)$ count $n \le x$ such that every prime $p \mid n$ has a divisor $d > 1$ of $n$ with $d \equiv 1 \pmod p$. Erdos asked whether $A(x)/x = \exp(-(c+o(1))\sqrt{\log x}\log\log x)$. It does, with $c = 1/(2\sqrt{\log 2})$.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryJun 23, 2026Significance 10/100Registry: unreviewed

Erdos Problem #768

Prior state unknownproved

Let $A(x)$ count $n \le x$ such that every prime $p \mid n$ has a divisor $d > 1$ of $n$ with $d \equiv 1 \pmod p$. Erdos asked whether $A(x)/x = \exp(-(c+o(1))\sqrt{\log x}\log\log x)$. It does, with $c = 1/(2\sqrt{\log 2})$.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Let $A(x)$ count $n \le x$ such that every prime $p \mid n$ has a divisor $d > 1$ of $n$ with $d \equiv 1 \pmod p$. Erdos asked whether $A(x)/x = \exp(-(c+o(1))\sqrt{\log x}\log\log x)$. It does, with $c = 1/(2\sqrt{\log 2})$.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Erdos Problem #768 — Mathematical Frontier Network