They’re both questions about program verification.
No, I don’t think so at all. Thinking that an AI box is all about program verification is like thinking that computer security is all about software bugs.
No, I don’t think so at all. Thinking that an AI box is all about program verification is like thinking that computer security is all about software bugs.