Quote:
Originally Posted by Batalov
Is there more than one solution?
________
P.S. Argh, I only started playing with modular restrictions, and you've already looked up to 10^35.
If so, then of course I am convinced, too. Sorry, then it was ... too simple.

Note that Faltings proof of the Mordell Conjecture shows that there
are only finitely many solutions. Actually, this is like hitting a thumbtack
with a sledgehammer. Siegel's Theorem suffices to show the same thing.
Unfortunately, neither is effective. Nor would an application of the
ABC conjecture be effective.