A look at how a verification system could be designed offers some insight into some of the technical challenges AI agents are poised to introduce