8 ms·AI-generated code, AI-generated findings, and the verification bottleneck3 points by hacka22 7mo ago