https://ai-news.ypetit.net/sources/microsoft-research/ Latest publications from Microsoft Research, aggregated by AI News from the official source. en Tue, 10 Nov 2026 00:08:45 GMT https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/https://www.microsoft.com/en-us/research/?p=1191852Thu, 05 Nov 2026 16:00:00 GMTresearchAI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves … https://www.microsoft.com/en-us/research/podcast/learn-the-rules-the-hacker-mindset/https://www.microsoft.com/en-us/research/?p=1192298Tue, 03 Nov 2026 17:14:38 GMTresearchResearch Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the r… https://www.microsoft.com/en-us/research/blog/from-synthetic-enterprise-data-evaluations-to-real-microsoft-copilot-ai-confidence/https://www.microsoft.com/en-us/research/?p=1191770Fri, 30 Oct 2026 13:05:28 GMTresearchEvaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise d… https://www.microsoft.com/en-us/research/podcast/microsoft-research-focus-edition-97/https://www.microsoft.com/en-us/research/?p=1191933Thu, 29 Oct 2026 19:19:16 GMTresearchHost 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 use AI at work and improving extended-range weather forecasting. The post Microsoft Research Foc… https://www.microsoft.com/en-us/research/blog/flint-interactive-a-language-for-creating-interactive-data-visualizations/https://www.microsoft.com/en-us/research/?p=1190353Thu, 22 Oct 2026 16:00:00 GMTresearchFlint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizat… https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture/https://www.microsoft.com/en-us/research/?p=1190191Wed, 21 Oct 2026 16:00:00 GMTresearchFor decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and comp… https://www.microsoft.com/en-us/research/podcast/called-to-serve-tech-research-and-positive-impact-with-chris-white/https://www.microsoft.com/en-us/research/?p=1185073Tue, 20 Oct 2026 16:00:00 GMTresearchLab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manager Weishung Liu about the influences that led to the work and more. The post … https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/https://www.microsoft.com/en-us/research/?p=1189337Thu, 15 Oct 2026 16:00:00 GMTresearchZero-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 languages, major speed gains, and quantum-resistant security. The post Proof-based gen… https://www.microsoft.com/en-us/research/blog/simulating-student-learning-for-better-ai-tutoring/https://www.microsoft.com/en-us/research/?p=1185936Mon, 12 Oct 2026 16:00:00 GMTresearchStudentSim 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. The post Si… https://www.microsoft.com/en-us/research/blog/agent-lightning-v1-0-a-3500-line-lightweight-agentic-rl-framework-for-training-agents-with-real-harnesses/https://www.microsoft.com/en-us/research/?p=1187920Wed, 07 Oct 2026 16:00:00 GMTresearchTraining 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. The post Ag…