At that point, the machines correctness doesn't need to be evaluated by humans, it just needs to provide a recipe for how to achieve some process.