“AIs in recreational games like Civilization are designed to have personalities and be engaging, not to play optimally for winning.”