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.)
alt Hacker News
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.)