I guess it depends on how the comment was delivered.
I'm a pretty sarcastic guy and things that I say can be easily misconstrued as a sincere comment--most of the time it is.
If he was saying it with a brow raised, then he was mocking you.
If he was saying it with a big grin and a thumbs up, he's just, well...stupid.