Opera 10 Beta has built-in support for Opera Turbo. I think those are the proxy servers you're referring to. They speed up page loading by gzipping pages and downgrading the quality of images.

One of my friends suggested it might just be the release of Opera 10.