MIT HardFlow algorithm enables generative AI to meet strict safety constraints · NewsAI