South Korean President Lee Jae-myung allocated nearly $16 billion to artificial intelligence and semiconductors in South Korea's 2027 national budget