I am by no means a mathematician, and I understand seemingly small changes can make huge differences like the XKCD of the difference between checking if a picture was taken in a park vs if a picture is of a bird.
If the proof is required to show that all numbers will eventually reach a 2^n value which will bring you to a value of one, it seems like that should be possible by proving you can reach every value from a 2^n value. While I don’t have the education to figure that out, it doesn’t seem to be as difficult as some of the crazy proofs you hear about.
So what makes it so difficult to solve? If that is too broad, is there a piece to the proof that people believe, if solved, would lead to a proof?