South Korea bets $880bn to win the AI era