Erdős problem 937
Are there infinitely many four-term arithmetic progressions of coprime powerful numbers? (A number is *powerful* if ; Nat.Powerful.)
Sources
FormalConjectures/ErdosProblems/
937.lean
Retained formal statement
Are there infinitely many four-term arithmetic progressions of coprime powerful numbers? (A number is *powerful* if ; Nat.Powerful.)
Erdős [Er76d] asked this; the answer is yes: Bajpai, Bennett and Chan [BBC24] proved that there are infinitely many four-term arithmetic progressions of pairwise coprime powerful numbers. (Without coprimality this is easy, and by a theorem of Fermat there are no four *squares* in arithmetic progression.)
True ↔ {p | Erdos937.IsCoprimePowerfulAP4 p.1 p.2}.InfiniteSolvedStatement only, no proof