MSR has been around for a pretty long time. Sure, these are really cool research projects, but turning research into products hasn't traditionally been one of Microsoft's strengths.
It'd be interesting to see where they take these projects three years from now.
"Using spam filters to find HIV vaccines" and "Beating programming bugs" sound rather interesting.
Number seven sounds suspiciously similar to the halting problem...