微软大裁员背后:靠 AI 节省 5 亿美元