Prove that \[x^2+1=y^3\] has no positive integer solutions.
Sure Catalan's conjecture works but can you do this with elementary number theory?
I ask about this on MSE here. Note that there is a valid argument using Gaussian integers and UFD's however I do not consider this elementary.
Problem status: Unsolved