Microsoft Research Special Projects
Nouvelles et reportages
Real-world evidence and the path from data to impact
| Darren Edge et Jonathan Larson
From the intense shock of the COVID-19 pandemic to the effects of climate change, our global society has never faced greater risk. The Societal Resilience team at Microsoft Research was established in recognition of this risk and tasked with developing open technologies that enable a scalable response in times of crisis. And just…
Dans l’actualité | Quanta Magazine
Proof Assistant Makes Jump to Big-League Math
Computer proof assistants have been an intriguing subplot in mathematics for years — promising to automate core aspects of the way mathematicians work, but in practice having little effect on the field. But a new result, completed in early June,…
Project Arno: How Microsoft Research created the technology and industry momentum for Azure to empower telecom operators in the cloud
| Yongguang Zhang et Bozidar Radunovic
Editor’s note: In recent years, telecommunications operators have faced a growing challenge to meet surging global demand for immersive online services and collaboration tools. Upgrading their proprietary networks to prepare for 5G and beyond would require major capital expenditures, even…
Dans l’actualité | 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…
Dans l’actualité | Nature
Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
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…
Dans l’actualité | 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…
Dans l’actualité | Wired
The Effort to Build the Mathematical Library of the Future
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,…
Dans l’actualité | 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…
Dans l’actualité | 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…