I do think something related to this is less obvious than you're suggesting. A proof generally presents a train of thought gets you from point A to point B. It's almost never a representation of the train of thought that the author actually followed to get from point A to point B. This is obvious to people with experience in mathematics, but it's much less obvious before you have that experience. Even if you know it's true in principle, appreciating it viscerally and adapting the way you interact with mathematics to account for it is basically a lifelong task.
A big component of good mathematical communication is explaining what motivates a solution to a problem (or even what motivates the problems in the first place). Sure, you don't have to do that every time, but it's fair criticize a broad lack of this. A lot of mathematical communication is... not good in this sense. Notably, the problem/solution in the OP isn't really motivated by the author. A skilled reader will think about it themselves, but they need to learn that skill somewhere.
More or less on topic, here's an example where an experienced mathematician tries to reproduce one of Sylow's theorems without looking it up, and writes down a more-honest account of the thought process involved: https://gowers.wordpress.com/2011/12/10/group-actions-iv-int...
https://www.youtube.com/watch?v=OkmNXy7er84
"And those of you who follow the channel know that rather than just jumping straight to the solution, which in this case will be surprisingly short, when possible I prefer to take the time to walk through how you might stumble upon the solution yourself. That is, make the video more about the problem-solving process than the particular problem used to exemplify it."
I bailed out of math around calculus, and these videos helped me at least appreciate what I was missing.
And similarly, whilst one proof might have limited practical applications, it's very difficult to know which proofs do have practical applications and it's almost impossible to know which results might later yeild further proofs that do have practical applications.
None of this is really a matter of intelligence, it's a matter of putting in work (although obviously there is intelligence involved to find particularly neat ways of appraoching problems).
And why do mathematicians learn proofs? Often, to see the approaches that you can use to solve other problems.