[lcnPylGDnU4H9OF]

This is a straw man. Consider that from my perspective, each of your points amount to saying "code can be correct, but incorrect" (take a look at number 5) and you may realize that your argument does not make any sense:

1. If code is "correct" but non-performant when it needs to be performant, then it's not correct.

2. If code is "correct" but unmaintainable when it needs to be maintainable, then it's not correct.

3. If code is "correct" but does not fit standards when it needs to fit standards, then it's not correct.

4. If code is "correct" but not secure when it needs to be secure, then it's not correct.

5. If code is "correct" but not correct when it needs to be correct, then it's not correct.

6. If code is "correct" but legally risky when it needs to be legally not risky, then it's not correct.

7. If code is "correct" but people think it's incorrect when they need to think it's correct, then it's not correct.

The person who submits the code for code review is effectively asserting that the code meets the quality standards of the project to which they are submitting the code. If it doesn't meet those standards, then it's not correct.

[jaredcwhite]

I agree with the overall point you're making in this comment…except that I don't think this is what "correct" means in the way that both I and the other person who replied thought you meant.

We took you to mean correct as in, given the right inputs, you get the expected outputs. And in that case, our objections do apply. In addition, if correct does mean overall fit-to-purpose the way you are suggesting here, then by gosh my points stands and no code generated by AI is correct! (Because of a variety of factors outside of simply "does the output of this code indicate that it seems to be working")

[lcnPylGDnU4H9OF]

> if correct does mean overall fit-to-purpose the way you are suggesting here, then by gosh my points stands and no code generated by AI is correct

This is patently false per my experience generating code with LLMs. It was not a lot; it changed one line to update a global variable to a new value per my request. It was exactly the “correct” change per the stated instructions. (Okay, not exactly because it added an extra new line that wasn’t there and which I didn’t want.)

It is certainly a fallacy to say that “no code generated by an AI is correct”. Unless you are making a point about the semantics of what is making the code “correct” (as in, is it the human reviewer or AI generator?), my point is that, in theory, the human reviews the code and submits changes for further review. The code was still generated by an AI and it can still be precisely “correct” for a given intended change.

It is understandable that you misunderstood my meaning because I was rather unclear about it (though “correct” is still the closest word I can think of to mean what I mean). However, it’s a bit wild that you say you do understand that meaning before turning around to say that it actually supports your point with a vague claim of a “variety of factors”. I actually get the feeling, based on this response, that your argument is effectively refuted by the point I raised. I’m willing to keep an open mind if you’d like to show me that I’m wrong; maybe I’m just missing something.