Microsoft bet big on AI in 2023, but its AI future is still unclear