Selskapet kutter 12 000 funksjonærer på grunn av AI, aksjen går opp.