That is exclusive to engineering PhDs, entirely irrelevant to the discussion of math PhDs.
Unless, of course, the machine being constructed is the prover (and prompts) that proved the results (or achieved whatever result instead of the human achieving it.)
Unless, of course, the machine being constructed is the prover (and prompts) that proved the results (or achieved whatever result instead of the human achieving it.)