Robust embodiment is convenient but probably not necessary—you could get vastly superhuman AGI with much restricted sensorium and motoric world, especially for theorem proving and scientific research using symbol manipulation.