News & features
In the news | 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 and 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…
In the news | 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…
In the news | 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…
In the news | 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…
In the news | 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,…
In the news | 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…
In the news | 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…
In the news | 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…