Erdős problem 313
Are there infinitely many pairs (m, P) where m ≥ 2 is an integer and P is a set of distinct primes such that the following equation holds: ?
Sources
FormalConjectures/ErdosProblems/
313.lean
Retained formal statement
It is conjectured that the set of primary pseudoperfect numbers is infinite.
{n | Erdos313.IsPrimaryPseudoperfect n}.InfiniteOpenStatement only, no proof