abstract technology graphic

Microsoft Research Special Projects

新闻与深度文章

新闻报道 | Fast Company

ElectionGuard named to Fast Company “AI and Data: Next Big Things in Tech” list 

Microsoft and InfernoRed – For securing …

chart: CTDC global dataset on victims of trafficking
微软研究院博客

| Darren Edge 和 Jonathan Larson

From the intense shock of the&…

新闻报道 | Quanta Magazine

Proof Assistant Makes Jump to Big-League Math 

Computer proof assistants have been an i…

Traditional cellular network infrastructure compared to cellular network infrastructure in the Microsoft cloud Two graphics. The first depicts traditional cellular network infrastructure, beginning with cell towers receiving data and transferring it to physical buildings--local hubs, then central exchanges and finally data centers. The second depicts cloudified cellular network infrastructure, with cell towers transmitting data to telco edges and Microsoft edges. This is also labelled
微软研究院博客

| Yongguang Zhang 和 Bozidar Radunovic

Editor’s note: In recent years, telecomm…

新闻报道 | BigThink

Will AI replace mathematicians? 

If computers can beat us at chess, maybe…

新闻报道 | Nature

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory 

Proof-assistant software handles an abst…

新闻报道 | Harvard Business Review

What a Year of WFH Has Done to Our Relationships at Work 

More than a year into the Covid-19 pande…

新闻报道 | Wired

The Effort to Build the Mathematical Library of the Future 

Every day, dozens of like-minded mathema…

新闻报道 | Quanta Magazine

At the Math Olympiad, Computers Prepare to Go for the Gold 

Computer scientists are trying to build …