The software company’s next leader is set to tackle a host of challenges. First and foremost: AI adoption.