Earlier quoted context omitted.
> Demonstrably working, as in you can prove the code actually works by then putting it to use. That's not how you prove that code works properly and isn't going to fail due to some obscure or unforessen corner case. You need actual proof that's driven by the code's overall structure. Humans do this at least informally when they code, AI's can't do that with any reliability, especially not for non-trivial projects (fo…
> That's not how you prove that code works properly and isn't going to fail due to some obscure or unforessen corner case. So? We didn't prove human code "isn't going to fail due to some obscure or unforessen corner case" either (aside the tiny niche of formal verification). So from that aspect it's quite similar. > so most coding agents simply work their way iteratively to get their test results to pass. That's not…
Human programmers don't usually hallucinate things out of thin air, AIs like to do that a whole lot. So no, they aren't working the exact same way.