How to prove there are an infinite number of squarefree numbers of the form $2^p-1$?

How to prove there are an infinite number of squarefree numbers of the form $2^p-1$, where $p$ is prime?

It is conjectured that all numbers of the form $2^p-1$ are squarefree. I've been having trouble proving that there are an infinite number of squarefree numbers of the form $2^p-1$; also I am unable to prove it for numbers of the form $2^n-1$ when the restriction on prime exponents is dropped. I can see that there are an infinite number of primes which divide some number of the form $2^p-1$ (all primes dividing $2^p-1$ are larger than than $p$, so if $p$ is the largest known prime dividing any number of this form, there is an even larger prime dividing $2^p-1$). Also I can prove the related statement that there are an infinite number of squarefree numbers of the form $n^2+1$ by overcounting the squareful values according to squares of primes of the form $4k+1$, and after some fiddling, bounding them below a constant fraction, but I can't figure out how to adapt this idea to the $2^p-1$ case.

Hints as well as full solutions are appreciated.

Solution 1:

This is an open problem (mentioned also in a comment) as conjectured by Schinzel.

An interesting consequence, due to Rotkiewicz, is that your open question - if true - would imply there are infinitely many primes $p$ for which $2^{p-1} \not\equiv 1$ (mod $p^2$).

This latter statement was shown by Silverman to be a consequence of the $abc$-conjecture, so it's "probably" true (perhaps someday Mochizuki's work will be verified or refuted...).

Thus, there is little hope of using Rotkiewicz's work to contradict the infinitude conjectured here.

I am re-tagging this as open, but you might find the citation below of interest.

Book: Ribenboim, P., Numbers, M., & Friends, M. (2000). Popular Lectures on Number Theory.

Edit: See also the MO post here.