make AGI on digital computers. While we suspect this is correct, we must note that it isn’t proven. It might be that — as Penrose [Pen96], Hameroff [Mam87] and others have argued — we need quantum computers or quantum gravity computers to make AGI. However, there is no evidence of this at this stage. Of