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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看

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 次观看 • 5 个月前

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 次观看 • 7 个月前

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 次观看 • 1 天前

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 次观看 • 1 天前

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 次观看 • 5 个月前

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 次观看 • 2 年前

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 次观看 • 23 天前

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 次观看 • 10 天前

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 次观看 • 1 年前

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 次观看 • 15 天前

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 次观看 • 1 个月前

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 次观看 • 1 年前

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 次观看 • 22 天前

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 次观看 • 1 个月前

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 次观看 • 10 个月前

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 次观看 • 2 个月前

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 次观看 • 1 个月前

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 次观看 • 6 个月前

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 次观看 • 1 个月前