I don't understand why you and the other person are trying to "correct" them? I thought their point was obvious: MS Research innovates, and then links examples (including F# which goes on to be a successful product as you pointed out).

F# being in full production doesn't disprove what they said, it further proves it.

PS - I disagree with the person above's proposition that MS Research is the "only" innovate branch of Microsoft. I am just posting to get clarification on what you and the other poster are getting at.