They are compressed, but you can compress them to about half their size with software like Ben suggested.
It's not worth it to try to compress most (modern) video file formats, as they all already ARE compressed....AVI IS one of those "modern" video formats, so... don't bother.