AI boom sustains S. Korea’s growth despite global headwinds: IMF official