3 ms·

You are aware of software verification? The AI can prove (mathematically) that its code implements the spec.

• abcde666777 8mo ago
  That just takes you back to the debate about the code being the spec.
  • 986aignan 8mo ago
    The code lets you shoot yourself in the foot in a lot more ways than a spec does, though. Few people would make specs that include buffer overflows or SQL injection.
    • magicalist 8mo ago
      "and don't have any security vulnerabilities" isn't a spec though. As soon as you get specific you're right back in it.