2 ms·
No it doesn't, but that is essentially what a coding AI would have to do for correctness. Unless we are not talking about correctness. And we are not talking
by beders 4y ago
No it doesn't, but that is essentially what a coding AI would have to do for correctness.
Unless we are not talking about correctness.
And we are not talking about trivial cases either.
- roywiggins 4y agoAn AI could correctly prove some things about some programs, and for the rest of them shrug and say it doesn't know.