SEVENSA / RESEARCH INTELLIGENCEINDEPENDENT EDITORIAL ATLAS

Microsoft Research · Research monitor

Editorial summaries of third-party claims. We do not independently certify mathematical proofs or represent OpenAI or Anthropic.

Explained dossiers

Research notes

Microsoft Research

Microsoft Research Focus – Edition #97

Agent systems · primary_technical_publication

Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people

Automatically screened · not peer reviewed by this siteRead analysis note ↗
Microsoft Research

Proof-based general-purpose computing with Magnetar

Mathematical reasoning · primary_technical_publication

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming

Automatically screened · not peer reviewed by this siteRead analysis note ↗
Microsoft Research

What AI gets wrong and what failure teaches us

AI for science · primary_technical_publication

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her

Automatically screened · not peer reviewed by this siteRead analysis note ↗
Microsoft Research

Forecasting space weather risks on power grids

AI models · primary_technical_publication

Extreme space-weather events can damage power systems on Earth and degrade GPS accuracy and satellite operations. A new machine learning system can predict where damage

Automatically screened · not peer reviewed by this siteRead analysis note ↗