Microsoft Research Special Projects
新闻与深度文章
新闻报道 | BigThink
Will AI replace mathematicians?
If computers can beat us at chess, maybe they could beat us at math, too. Most everyone fears that they will be replaced by robots or AI someday. A field like mathematics, which is governed solely by rules that computers…
Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics. Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation…
新闻报道 | Harvard Business Review
What a Year of WFH Has Done to Our Relationships at Work
More than a year into the Covid-19 pandemic and WFH, new research from Microsoft shows that employees and teams are becoming much more siloed. In particular, connections with people outside our immediate teams has shrunk dramatically, leading to fewer places…
Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean. It’s a “proof assistant” that, in principle,…
新闻报道 | Quanta Magazine
At the Math Olympiad, Computers Prepare to Go for the Gold
Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition. The 61st International Mathematical Olympiad, or IMO, begins today. It may go down in history for at least two…
新闻报道 | MS Power User
Microsoft releases Project OneFuzz framework, an open source tool to find and fix bugs
Microsoft yesterday announced the release of a new tool called Project OneFuzz. Project OneFuzz is an extensible fuzz testing framework for Azure that is used by Microsoft Edge, Windows, and teams across Microsoft. Microsoft is now open sourcing the tool…
Microsoft (MSFT) recently labelled its Northern Isles experiment a success, as the subsea data center was found to be cost and energy efficient as well as reliable. The tech giant retrieved its submerged data center for analysis from the seafloor…
新闻报道 | Microsoft Security Blog
Microsoft announces new Project OneFuzz framework, an open source developer tool to find and fix bugs at scale
Microsoft is dedicated to working with the community and our customers to continuously improve and tune our platform and products to help defend against the dynamic and sophisticated threat landscape. Earlier this year, we announced that we would replace the…
新闻报道 | Microsoft Innovation Stories
Microsoft finds underwater datacenters are reliable, practical and use energy sustainably
Earlier this summer, marine specialists reeled up a shipping-container-size datacenter coated in algae, barnacles and sea anemones from the seafloor off Scotland’s Orkney Islands. The retrieval launched the final phase of a years-long effort that proved the concept of underwater…