Coming up with a formula is often a matter of 'playing around' ... and hopefully you start to see any patterns.
So, we could just see what happens:
\begin{array}{c|c}
n&1^3+2^3+ ... +n^3\\
\hline
1&1\\
2&9\\
3&36\\
4&100\\
...&...\\
\end{array}
Well ... if you know a little about numbers, I think you'd recognize $1,9,36,100$ as $1^2,3^2,6^2$ and $10^2$ respectively ... and the $1,3,6,10,...$ clearly follows a pattern as well: $1$, $1+2$, $1+2+3$, ...
OK, so there's your formula.
Of course, at this point it's just a hypothesis ... but when you try to prove it ... you find that you can!
Another method is to play around with the veru concepts involved. So, you could take a bunch of cubes and see if you can somehow rearrange them in some other patterns. This is what's done here.
And yes, you could also try your method of guessing that there might be some kind of polynomial formula for this: $An^4+Bn^3+Cn^2+Dn+E$ .... though that is taking a bit of a risk: why would it be a polynomial? Why not some exponential function, for example? And even if it is a polynomial, why wouldn't it go beyond $n^4$?