SK 海力士和韩国科技院合作,利用 AI 技术优化半导体制造