Microsoft Research's banner

Microsoft Research

@MSFTResearch • 555,279 subscribers

We advance science and technology to benefit humanity.

Shorts

Microsoft researchers introduce MatterGen, a model that can discover new materials tailored to specific needs—like efficient solar cells or CO2 recycling—advancing progress beyond trial-and-error experiments.

Microsoft researchers introduce MatterGen, a model that can discover new materials tailored to specific needs—like efficient solar cells or CO2 recycling—advancing progress beyond trial-and-error experiments.

1,330,126 Aufrufe

Robots are getting smarter, but how can their hardware match that growth? New Microsoft Research findings show that moving AI inference beyond the robot can improve task success, boost efficiency, and support more advanced physical AI workloads.

Robots are getting smarter, but how can their hardware match that growth? New Microsoft Research findings show that moving AI inference beyond the robot can improve task success, boost efficiency, and support more advanced physical AI workloads.

21,539 Aufrufe

LLMs do not get smarter just by remembering more. EvoLib turns experience into evolving knowledge, taking reusable skills and insights that help models learn and adapt across tasks long after deployment.

LLMs do not get smarter just by remembering more. EvoLib turns experience into evolving knowledge, taking reusable skills and insights that help models learn and adapt across tasks long after deployment.

23,495 Aufrufe

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

23,154 Aufrufe

AI agents often fail because their instructions, or skills, are manually modified with no guarantee of improvement. Learn how SkillOpt turns skill editing into a training process, making agent behavior more reliable without changing model weights:

AI agents often fail because their instructions, or skills, are manually modified with no guarantee of improvement. Learn how SkillOpt turns skill editing into a training process, making agent behavior more reliable without changing model weights:

20,614 Aufrufe

Safe agents don’t guarantee a safe ecosystem of interconnected agents. Microsoft Research examines what breaks when AI agents interact and why network-level risks require new approaches. Learn more:

Safe agents don’t guarantee a safe ecosystem of interconnected agents. Microsoft Research examines what breaks when AI agents interact and why network-level risks require new approaches. Learn more:

20,385 Aufrufe

Vega turns a full credential into a single proof, sharing only what is needed and nothing more, with performance that works in real apps.

Vega turns a full credential into a single proof, sharing only what is needed and nothing more, with performance that works in real apps.

18,083 Aufrufe

Aurora 1.5 adds 22 more variables, hourly temporal resolution, and probabilistic ensemble forecasting to the Aurora foundation model, making it more useful for real-world weather, climate, and energy applications.

Aurora 1.5 adds 22 more variables, hourly temporal resolution, and probabilistic ensemble forecasting to the Aurora foundation model, making it more useful for real-world weather, climate, and energy applications.

13,237 Aufrufe

Introducing GridSFM, a small foundation model that can predict AC optimal power flow in milliseconds, boosting efficiency and unlocking cost savings. Learn how GridSFM gives grid operators direct visibility into congestion, stability, and system health:

Introducing GridSFM, a small foundation model that can predict AC optimal power flow in milliseconds, boosting efficiency and unlocking cost savings. Learn how GridSFM gives grid operators direct visibility into congestion, stability, and system health:

15,213 Aufrufe

MatterSim is expanding what AI can do for materials science—from faster large-scale simulations to MatterSim-MT, a new multi-task model for simulating properties beyond potential energy surfaces alone.

MatterSim is expanding what AI can do for materials science—from faster large-scale simulations to MatterSim-MT, a new multi-task model for simulating properties beyond potential energy surfaces alone.

14,733 Aufrufe

Using SocialReasoning Bench, we observed a stable pattern across models—agents execute competently, but fail to consistently improve the user’s position, even with explicit instructions to optimize for user interest.

Using SocialReasoning Bench, we observed a stable pattern across models—agents execute competently, but fail to consistently improve the user’s position, even with explicit instructions to optimize for user interest.

12,812 Aufrufe

AutoAdapt automates the design and tuning of domain adaptation workflows for large language models. It improves performance without requiring additional compute, making deployment more accessible:

AutoAdapt automates the design and tuning of domain adaptation workflows for large language models. It improves performance without requiring additional compute, making deployment more accessible:

10,753 Aufrufe

In Episode 1 of the podcast “The AI Revolution in Medicine, Revisited,” host Peter Lee, president of Microsoft Research, & guests Dr. Christopher A. Longhurst, MD & Dr. Sara Murray discuss how generative AI is impacting patient care & workflows in healthcare:

In Episode 1 of the podcast “The AI Revolution in Medicine, Revisited,” host Peter Lee, president of Microsoft Research, & guests Dr. Christopher A. Longhurst, MD & Dr. Sara Murray discuss how generative AI is impacting patient care & workflows in healthcare:

18,494 Aufrufe

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

Coming May 14 at Microsoft Research Forum: a new release and demo from MSR AI Frontiers. Plus new work on Agentic GitHub Workflows, Real-time agent verification, Energy-based fine-tuning, and Guiding the AI transition. Register now:

Coming May 14 at Microsoft Research Forum: a new release and demo from MSR AI Frontiers. Plus new work on Agentic GitHub Workflows, Real-time agent verification, Energy-based fine-tuning, and Guiding the AI transition. Register now:

Microsoft Research

17,748,603 Aufrufe • vor 5 Monaten

The latest Microsoft Research Forum episode is now available on-demand. Explore new ARO, Dion2, Magentic Marketplace, OptiMind, Agent Lightning, and Healthbots. Register to watch:

The latest Microsoft Research Forum episode is now available on-demand. Explore new ARO, Dion2, Magentic Marketplace, OptiMind, Agent Lightning, and Healthbots. Register to watch:

Microsoft Research

21,202,441 Aufrufe • vor 7 Monaten

AI agents are writing more code. How can developers ensure that code is correct? Microsoft Research’s Proof-Driven Development (PDD) Kit explores a more rigorous approach: it translates a developer’s intent into a formal specification, then uses formal verification to prove that generated code meets it. PDD Kit works with Verus for Rust and is integrated with GitHub Next’s Chopin, bringing formal methods into an AI-assisted development workflow for teams. See the work in action at GitHub Universe, Oct. 28–29, 2026.

AI agents are writing more code. How can developers ensure that code is correct? Microsoft Research’s Proof-Driven Development (PDD) Kit explores a more rigorous approach: it translates a developer’s intent into a formal specification, then uses formal verification to prove that generated code meets it. PDD Kit works with Verus for Rust and is integrated with GitHub Next’s Chopin, bringing formal methods into an AI-assisted development workflow for teams. See the work in action at GitHub Universe, Oct. 28–29, 2026.

Microsoft Research

60,840 Aufrufe • vor 1 Tag

For decades, a key question about the challenges of high-dimensional computation resisted proof. New research resolves the KLS conjecture, removing a major barrier to understanding the efficiency of randomized algorithms used throughout science and computing.

For decades, a key question about the challenges of high-dimensional computation resisted proof. New research resolves the KLS conjecture, removing a major barrier to understanding the efficiency of randomized algorithms used throughout science and computing.

Microsoft Research

42,433 Aufrufe • vor 1 Tag

New tools, models, repos, and papers out of Microsoft Research are here. Use AI and agents? It's worth watching: • MagenticLite from MSR AI Frontiers • Agentic GitHub workflows • Verification‑first agents • Meaning‑matching fine‑tuning • AI transition + the economy

New tools, models, repos, and papers out of Microsoft Research are here. Use AI and agents? It's worth watching: • MagenticLite from MSR AI Frontiers • Agentic GitHub workflows • Verification‑first agents • Meaning‑matching fine‑tuning • AI transition + the economy

Microsoft Research

3,447,138 Aufrufe • vor 5 Monaten

AI is transforming the way we all live, work, and think. Join us for Microsoft Research Forum, where you'll learn about the most recent advances and hear bold new ideas from the global research community. See you on June 4 for Episode 3. Register now.

AI is transforming the way we all live, work, and think. Join us for Microsoft Research Forum, where you'll learn about the most recent advances and hear bold new ideas from the global research community. See you on June 4 for Episode 3. Register now.

Microsoft Research

22,477,328 Aufrufe • vor 2 Jahren

Biology doesn't operate in silos, and neither should the AI representation of it. Quine is an early-stage research effort to create a multimodal world model of biology. By connecting insights across biological scales and modalities, Quine helps scientists computationally search a space far larger than intuition allows and prioritize hypotheses before they reach the lab. Experimental results provide important feedback, helping researchers sharpen future research directions.

Biology doesn't operate in silos, and neither should the AI representation of it. Quine is an early-stage research effort to create a multimodal world model of biology. By connecting insights across biological scales and modalities, Quine helps scientists computationally search a space far larger than intuition allows and prioritize hypotheses before they reach the lab. Experimental results provide important feedback, helping researchers sharpen future research directions.

Microsoft Research

41,894 Aufrufe • vor 23 Tagen

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics:

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics:

Microsoft Research

18,687 Aufrufe • vor 10 Tagen

Today in the journal Science: BioEmu from Microsoft Research AI for Science. This generative deep learning method emulates protein equilibrium ensembles – key for understanding protein function at scale.

Today in the journal Science: BioEmu from Microsoft Research AI for Science. This generative deep learning method emulates protein equilibrium ensembles – key for understanding protein function at scale.

Microsoft Research

416,460 Aufrufe • vor 1 Jahr

Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them.:

Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them.:

Microsoft Research

18,815 Aufrufe • vor 15 Tagen

Custom-made molecules are advancing medicine, materials, and agriculture, but producing them is slow and expensive. A new Nature paper highlights RetroChimera, a predictive model that helps accelerate chemical synthesis, helping researchers explore a wide range of molecules.:

Custom-made molecules are advancing medicine, materials, and agriculture, but producing them is slow and expensive. A new Nature paper highlights RetroChimera, a predictive model that helps accelerate chemical synthesis, helping researchers explore a wide range of molecules.:

Microsoft Research

21,213 Aufrufe • vor 1 Monat

The wait is over! Microsoft Research is sharing Skala, the new exchange-correlation functional, marking a major milestone in the accuracy/cost trade-off in DFT. Help us learn from your testing so we can improve. Available on Azure AI Foundry and GitHub.

The wait is over! Microsoft Research is sharing Skala, the new exchange-correlation functional, marking a major milestone in the accuracy/cost trade-off in DFT. Help us learn from your testing so we can improve. Available on Azure AI Foundry and GitHub.

Microsoft Research

127,487 Aufrufe • vor 1 Jahr

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 is likely to occur 30-60 minutes before a storm arrives:

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 is likely to occur 30-60 minutes before a storm arrives:

Microsoft Research

11,366 Aufrufe • vor 22 Tagen

A look at how coding agents behave at scale; evaluating AI models that find lymphoma lesions in PET/CT scans; understanding AI chatbot dependence; and advancing large-scale decision-making systems. Dive into the latest issue of Research Focus.:

A look at how coding agents behave at scale; evaluating AI models that find lymphoma lesions in PET/CT scans; understanding AI chatbot dependence; and advancing large-scale decision-making systems. Dive into the latest issue of Research Focus.:

Microsoft Research

16,835 Aufrufe • vor 1 Monat

Microsoft Chief Scientific Officer Eric Horvitz on what stood out at NeurIPS 2025, what’s next, and why these moments matter for the future of AI research.

Microsoft Chief Scientific Officer Eric Horvitz on what stood out at NeurIPS 2025, what’s next, and why these moments matter for the future of AI research.

Microsoft Research

86,914 Aufrufe • vor 10 Monaten

Orchard is an open-source framework for the research community to train and evaluate AI agents across task types. It reduces complexity while supporting strong performance from smaller models by enabling researchers to reuse the same infrastructure.

Orchard is an open-source framework for the research community to train and evaluate AI agents across task types. It reduces complexity while supporting strong performance from smaller models by enabling researchers to reuse the same infrastructure.

Microsoft Research

26,298 Aufrufe • vor 2 Monaten

What if pathology foundation models could do more with less? GigaPath-Flash and GigaTIME-Flash cut computational demands while maintaining strong performance, opening the door to larger studies and broader exploration.

What if pathology foundation models could do more with less? GigaPath-Flash and GigaTIME-Flash cut computational demands while maintaining strong performance, opening the door to larger studies and broader exploration.

Microsoft Research

18,289 Aufrufe • vor 1 Monat

Today, we welcome the 2026 Microsoft Research Fellowship cohort, an inspiring global community of fellows and advisors helping to shape what’s next across science, technology, and society. Join us in celebrating this year’s recipients: These contributions span the following themes: • AI for global and societal impact • AI fundamentals: scalable reasoning, model adaption and evaluation • Biological and scientific modeling • Foundational systems & infrastructure for AI • Human-AI collaboration and interaction • Multimodal & embodied intelligence

Today, we welcome the 2026 Microsoft Research Fellowship cohort, an inspiring global community of fellows and advisors helping to shape what’s next across science, technology, and society. Join us in celebrating this year’s recipients: These contributions span the following themes: • AI for global and societal impact • AI fundamentals: scalable reasoning, model adaption and evaluation • Biological and scientific modeling • Foundational systems & infrastructure for AI • Human-AI collaboration and interaction • Multimodal & embodied intelligence

Microsoft Research

50,251 Aufrufe • vor 6 Monaten

Skala 1.1, the updated deep-learning exchange-correlation functional from Microsoft Research, provides greater accuracy, expanded accessibility across the computational chemistry ecosystem, and a living benchmark to track computational performance.

Skala 1.1, the updated deep-learning exchange-correlation functional from Microsoft Research, provides greater accuracy, expanded accessibility across the computational chemistry ecosystem, and a living benchmark to track computational performance.

Microsoft Research

18,598 Aufrufe • vor 1 Monat