The theory of computation tells us that we can never analyze or test or verify the performance or correctness of a program automatically because that leads to the halting problem. How then can an AI generate a new program (novel solution) and decide if it is working? It can stitch together snippest of code it has "seen" but not come up with an entirely new algorithm!