second-order AIs amuse themselves by designing minds, sleek and efficient ones but also art minds that extract the greatest possible beauty