I have some proof too.
Go to http://www.oriweb.com or any other domain registration site, do a search for microsoft.com, and check the current domain owner information. If that is not going to shock you, I don't know what would.

"Stephen Wolfram is the creator of Mathematica and is widely regarded as the most important innovator in scientific and technical computing today." - Stephen Wolfram