The Future of Mathematics - Microsoft Research