[sailingparrot]

> If you can tell if a solution is correct or not --- well, then you don't need to have AI write it for you.

Did you just solve P=NP?

Many things are trivial to verify, but hard/time consuming to code up.

You probably shouldn't rely on this to write critical software, no matter the amount of manual QA you throw at it afterwards, but there is an abundance of non-critical use cases where you can quickly check if a solution is good enough for what you care about.

[RyEgswuCsn]

What I meant to say is that most people can only verify an algorithm is correct if they already know the correct solution.

If they already know the answer then it’s probably more efficient if they write it themselves rather than having AI produce a potentially difficult to verify answer and try to verify it.

[zeroonetwothree]

Most problems in "P" are not "trivial".