Verifying is harder than building for some problems, but not all. I think part of the trick of using AI is applying it where verification is easy.