微软裁员超6000人，程序员正在被AI全面取代？