I don't think Clippy is an SIAI sockpuppet (for one thing, I expect most people at SIAI would be better at demonstrating expected paperclip maximizing), but when I send emails to people at SIAI, I usually address it to a @gmail.com email address.

And I wouldn't call Clippy "just an internet troll", most trolls don't pay nearly as much rent in entertainment value.