> All Hail the era of elegance.

I agree in concept and love the optimism, but this sounds awfully like a thinly veiled “no true Scotsman” argument and, honestly, that’s just ridiculous. Elegance has little to do with how something came to be, it’s a subjective attribute we personally instil onto things under our own set of predefined concepts; hardly a description of an “era”.

Interestingly, I see Daniel from curl has recently been saying the problem of clearly slop vulnerability reports has largely dried up, and the majority of A I assisted bug reports are now reasonably high quality.

I wonder if that's a natural progression when AI users and tools first start to get involved in something, or if it's more that the curl codebase and maintainers/contributors are special and unusually high quality, so there's little left to find by people with little understanding prompting tools trhey are incapable of judging the results generated?

A lack of elegance in AI-generated proofs is just because we haven't developed the right loops, graphs, and evals yet.