I was playing the famous $2048$ game with the non-standard $3 \times 3$ grid. I quickly realized it was awfully difficult to even get up to $256$, with the best possible algorithm(of course in my head, not using a computer).
So my question is - Is it possible to win $2048$ in $3 \times 3$ grid? If yes, can it be shown mathematically?
Let's prove by induction that with $n$ squares whose initial values are all below $2^n$ you can get at most $1$ square with $2^n$ and all other squares will have less.
Base: $n=1$. You can get a $2$ and that's it, which equals $2^1$
Step: Suppose we have $n+1$ squares, and let the inductive hypothesis be that with $n$ squares you can at most get $1$ square with $2^n$ and all other squares have less than that
Well, before we can get to $2^{n+1}$ on the $n+1$ squares board you need to get two squares with $2^n$. Now, once you get one square with $2^n$, you need to use the remaining $n$ squares to get another $2^n$, because the square with the $2^n$ will be useless for that endeavor. And since you just got your first $2^n$ square, that means that all those squares have values below $2^n$, and thus we can apply the inductive hypothesis.
So, by inductive hypothesis, you might be able to get one square with $2^n$ with those remaining $n$ squares, but all other squares will have less than that. So, even if you can get another $2^n$ square, once you combine the two squares with $2^n$ to get a square with $2^{n+1}$, you are left with $n$ squares all with less than $2^n$, and by inductive hypothesis the most you can get from those squares is just $1$ more square with $2^n$, and the rest will have less (again, the square with $2^n$ will not help in getting any bigger number, since it cannot be combined with any of the other $n$ squares while they all have values of less than that, which is why we can apply the inductive hypothesis).
So, you cannot get a second square with $2^{n+1}$ and so you cannot get a square with $2^{n+2}$ either. Hence, you can at best get $1$ square with $2^{n+1}$ and all other squares will have less.
Applying this general result to your case: on a $3 \times 3$ grid, we can at most get $2^9=512$
Edit
Apparently the game spawns 4 pieces once and a while. So, for the best case scenario we can assume that it always spawns 4 pieces, and that means that in the proof above we can simply multiply everything by 2, meaning that the highest score possible is $1024$