When people talk about solving a game like go or chess, they mean proving mathematically if there exists a way to guarantee a win, or if the second player can always guarantee a draw, among related questions. Current game engines have no such knowledge, they just pick statistically what the think the best move is and hope for the best.