Two metaphors for AI and existing mathematical knowledge · Digg