microsoft.com

18 articles in the TruthFoundry index. Each links out to the original.

• GitHub Next launches PDD Kit for verifying AI agent generated code · PDD Kit formally proves AI coding agents adhere to stated user intent for software.
• Microsoft Research's Mike Walker discusses hacker mindset and cybersecurity · Microsoft Research manager Mike Walker explains the hacker approach to rules and security
• Microsoft launches synthetic data platform for enterprise Copilot AI evaluation · Microsoft built a synthetic enterprise data platform to safely evaluate Copilot AI performance.
• Microsoft researchers prove 31-year-old KLS mathematics conjecture with guided AI · Microsoft researchers resolved the 31-year-old KLS conjecture using human-directed AI collaboration.
• Microsoft Research Director Chris White Discusses Tech for Good in Afghanistan and Against Trafficking · Microsoft Research's Chris White discusses his work using technology to combat violence and human trafficking.
• Microsoft Research unveils Magnetar high-performance zero-knowledge computing system · Microsoft Research launched Magnetar, a fast general-purpose zero-knowledge proof platform.
• StudentSim AI system simulates learners to improve AI tutor development · Researchers introduce StudentSim, an AI student simulator for safe AI tutor testing.
• Microsoft Research releases Agent Lightning v1.0 agent RL framework · Microsoft Research Asia open sources Agent Lightning v1.0, a 3500-line agentic RL framework.
• Microsoft Researcher Jennifer Neville Discusses AI Failures And Learning · Microsoft researcher Jennifer Neville talks AI evaluation, failures, and her career path.
• Microsoft Research ML pipeline forecasts space weather grid risk · Microsoft Research developed ML system forecasting US substation space weather risk 30-60 minutes early.
• Microsoft Research launches Quine AI biology research system · Microsoft Research introduces Quine, an AI system for biological research and drug discovery.
• Microsoft Research Asia Singapore marks first year of AI research operations · MSRA Singapore completes first year as Microsoft's first Southeast Asia research lab.
• Research finds offloading robot AI inference improves performance and battery life · Study demonstrates offloading robotics AI inference delivers better performance and battery life.
• Microsoft Releases RetroChimera AI for Automated Small Molecule Synthesis Planning · Microsoft open-sources RetroChimera, an AI model that automates retrosynthesis planning for drug discovery and materials science.
• GigaPath-Flash and GigaTIME-Flash Models Boost Efficiency for Pathology Research · New distilled pathology models reduce computational costs by up to 50x while maintaining performance for large-scale cancer research.
• Microsoft Research releases Skala 1.1 DFT model with expanded software integration · Microsoft Research launches updated Skala 1.1 deep learning DFT model for computational chemistry.
• Microsoft Research releases MindTopo VLM spatial reasoning benchmark · Microsoft Research launches MindTopo benchmark testing VLM topological reasoning capabilities.
• Microsoft Research Introduces CARE-X Clinical Radiology Vision Language Model · Microsoft Research presents CARE-X, a research radiology VLM with clinical aligned training.