Microsoft entlässt Tausende, trotz Alternativen. Statt auf Menschen setzt der Konzern auf KI.