Here's an easy "intuitive" explanation how X can win:
If X can get a 998 in a row and it's her turn, she has won.
So, if she can get TWO 998s in a row, and it's Os turn, she has won.
{O will only be able to cover one - so it's over}
So, if she can get FOUR 997s in a row, and it's O's turn, she has won.
(O will only be able to cover ..two times.., so there will be two 998s and it's O's turn - so it's over.}
So, if she can get EIGHT 996s in a row, and it's Os turn, she has won.
(O will only be able to cover ..four times.., so there will be four 997s and it's O's turn - so it's over.}
So, if she can get SIXTEEN 995s in a row, and it's Os turn, she has won.
{O will only be able to cover ..eight times.., so there will be eight 996s and it's O's turn - so it's over.}
... and eventually ...
So, if she can get < a very large number == NN > 1s in a row, and it's Os turn, she has won.
To repeat, if she can get NN 1s in a row, she has won.
So to win, simply: on the y cartesian axis (say), X simply keeps putting "one". ie, X simply creates an incredibly tall column, that is to say, just keeps "starting one row" after another.
She is able to add one unblocked row each time (the other one gets covered by O).
Simply, after NN goes... (that is to say, 2xNN points placed)...
she will have NN 1s in a row.
She has won!
footnote: regarding 2Dism. X's first step is to get "NN 1s" in play. Above I describe them as being simply all horizontal and stacked-up. In fact, NN could hugely separate each attempt, and allow each one to be either H or V. (For a given line, of course, X could not change between H/V, after, two points are down). In this way, it's twice as hard for O to block (this applies strictly on "stage 1" only .. enroute to "NN 1s"). So intertestingly, for "stage 1", X need only take NN / 2 goes (ie, NN points placed) to achieve "NN 1s". But wait! It occurs, X gets to place four potential lines with each (hugely-spaced) two dots. O can only block one alone of the four. So in fact if I'm not mistaken for "stage 1", X need only take NN / 3 goes.
O
can blockX
indefinitely, it's a win forO
even if the game doesn't end. Maybe it's easier to think of it as a draw instead and ask whetherX
has a forced win. $\endgroup$