KAIST develops SafeQL to more easily fix AI database query errors 디지털투데이