Theory building for, say, physics? No, humans need to understand that, if at all possible. Theory building for a program? That's less important. But you giv

Theory building for, say, physics? No, humans need to understand that, if at all possible. Theory building for a program? That's less important. But you give up any chance of a human ever being able to work well on it. That may be an important loss; we'll know in 5 or 10 years.