South Korea proposes record US$597 billion 2027 Budget to supercharge AI investment