Penrose, Maths & AI