Microsoft ResearchResearch
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

Microsoft researcher and collaborator combine new mathematical ideas with human-directed AI to resolve a central problem in high-dimensional geometry and probability At a glance Fundamental…
Read at Microsoft Research ↗More from Microsoft Research on Accept All

ResearchCalled to serve: Tech, research, and positive impact Microsoft Research

ResearchProof-based general-purpose computing with Magnetar Microsoft Research

ResearchSimulating student learning for better AI tutoring Microsoft Research

ResearchAgent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses Microsoft Research

ResearchWhat AI gets wrong and what failure teaches us Microsoft Research
