Erdős problem 730
Are there infinitely many pairs of integers such that and have the same set of prime divisors?
Sources
FormalConjectures/ErdosProblems/
730.lean
Retained formal statement
Are there infinitely many pairs of integers such that and have the same set of prime divisors?
True ↔ Erdos730.S.InfiniteOpenStatement only, no proofformal statement reference