Analysis board

I was going through atomic lines to see the best opening when I noticed the very high +4 in the beginning of the game. I kept playing the top computer move for each side and the game ended with white winning in 66 moves. This confused me because if the top computer moves were played and the game ended in 66 moves doesn’t that mean atomic is solved? Because if the move stockfish played was truly the best every other move would be worse, meaning that checkmate would be in less than or equal to 66 moves.

It shows that the variant may well be a forced win for White, but it seems that this has not been proven.

Stockfish doesn't analyse exhaustively because the number of possible games is astronomical. It must select the lines that it looks at. These are intelligently selected, but there is no proof that continuations which save the position for Black are not being missed.