El gigante tecnológico niega un despido masivo, pero la hoja de ruta apunta a ahorrar 12.600 millones de dólares en costes laborales gracias a la inteligencia artificial y máquinas como Proteus y Sequoia.