The Contract Discovery Bottleneck

AI can generate the code. We can verify the behavior. But who decides what correct means? I wrote...