The Limits of Trial-and-Error Interfaces to Generative AI

When Correctness Matters