Latest AI updates

Microsoft Research's Magnetar zkVM Proves Rust, Go and C Programs From Standard Hash Security

Microsoft Research introduced Magnetar, a zero-knowledge virtual machine that proves execution of ordinary RISC-V programs compiled from Rust, Go or C, rather than requiring developers to hand-rewrite them as cryptographic circuits. It reports 7.2–8.7 million instructions per second on a laptop, 10–39× average speedups over the fastest comparable zkVMs across 15 benchmarks, and proof verification in about 12 milliseconds. Security rests only on standard hash functions such as SHA-256 or SHA-3, w

Why it matters: It gives a concrete, benchmarked advance in general-purpose verifiable computing, with a design choice that matters for long-term post-quantum trust.

Microsoft Research introduces StudentSim for AI tutor development

Microsoft Research introduced StudentSim, a research system that trains personalized AI student simulators from publicly available, de-identified learner records to provide feedback during AI tutor development. It also introduces StudentSimEval, a benchmark evaluating behavioral fidelity and guidance responsiveness across chess, second-language English writing, and mathematics. StudentSim outperformed leading baselines on both dimensions in chess, and a proof-of-concept reinforcement learning st

Why it matters: It offers a concrete, openly available research method for generating scalable simulated student feedback, addressing a key bottleneck in building and evaluating AI tutoring systems.

Microsoft Research Introduces Quine, an AI World Model for Biology

Microsoft Research announced Quine, an experimental AI research system combining a multimodal world model of biology with a harness that connects models, scientific tools, literature, and researchers. With the Broad Institute of Harvard and MIT, Quine was used to prioritize compounds predicted to drive therapeutic tumor-state shifts in pancreatic ductal adenocarcinoma, and several top-ranked candidates were validated in wet-lab assays. Microsoft also opened applications for the Quine Fellows pro

Why it matters: It offers a concrete look at a major lab's AI system for biological discovery, including an early wet-lab-validated cancer application and a new access program for researchers.

Microsoft Research Demonstrates Offloaded Inference for Physical AI Robotics

Microsoft Research argues that running physical AI inference exclusively on onboard GPUs limits task performance and battery life, and presents a systematic study of mobile manipulation workloads showing offloading improves success rates and lets robots run larger models. The work reports that some smaller GPUs could not accommodate the stack, and that lighter GPUs slowed mapping and planning by up to 383% and reduced obstacle-detection timeliness by 30% versus an A100. Offloading with a Raspber

Why it matters: It offers concrete benchmark-backed evidence and an open-source toolchain for a robotics infrastructure decision that affects model size, task reliability, and battery life.

Microsoft Research Open-Sources RetroChimera, an Ensemble Model for Retrosynthesis Prediction

Microsoft Research describes RetroChimera, a retrosynthesis framework published in Nature that ensembles a Transformer-based de-novo model (R-SMILES 2) with a graph neural network that selects reaction templates (NeuralLoc). A learned re-ranking strategy combines their complementary strengths, improving recall of rare reactions and alignment with expert chemists' preferences. In expert assessments, RetroChimera was accepted on nine of ten challenging targets versus fewer for baselines, and in bl

Why it matters: It gives chemists and AI researchers an openly available ensemble retrosynthesis model with published validation, potentially accelerating molecule synthesis planning.

Microsoft Research Releases GigaPath-Flash and GigaTIME-Flash, Efficient Open Pathology Foundation Models

Microsoft Research, with the University of Washington and Providence, introduced GigaPath-Flash and GigaTIME-Flash, efficient extensions of their GigaPath and GigaTIME pathology foundation models. GigaPath-Flash uses a 22M-parameter ViT-S tile encoder distilled from the billion-parameter GigaPath teacher plus a 21M-parameter LongNet slide encoder, retaining performance within 3% of GigaPath at roughly 50 times less compute. GigaTIME-Flash replaces GigaTIME's CNN backbone with that encoder and a

Why it matters: It gives researchers a concrete, openly licensed efficiency upgrade that makes large-scale computational pathology experiments more practical.

Microsoft Research Releases Skala-1.1 DFT Model and Expands Integrations

Microsoft Research announced Skala-1.1, an updated deep-learning exchange-correlation functional trained on 2.5x more data than its predecessor, reporting a weighted average error of 2.8 kcal/mol on the GMTKN55 benchmark. Skala is now available in CP2K and is being integrated into Psi4, FHI-aims, ORCA and VASP. Microsoft Research also introduced a living benchmark to track the performance of successive Skala releases across software packages and hardware.

Why it matters: It reports a concrete accuracy improvement and expanded availability for an AI-driven DFT functional used in computational chemistry and materials science.

Microsoft Research Unveils GridSFM: A Lightweight Small Foundation Model for Electric Grids

Microsoft Research officially announced the release of&nbsp;GridSFM&nbsp;on May 13, 2026. Developed by a team of experts including Weiwei Yang, Andrea Britto Mattos Lima, Thiago Vallin Spina, Spencer Fowers, and Baosen Zhang, GridSFM is a novel&nbsp;<!--autointro-->

Microsoft Research Launches SocialReasoning-Bench to Evaluate AI Agent Alignment and Social Reasonin

Microsoft Research Unveils SocialReasoning-Bench: A New Standard for Evaluating AI Agents&#39; Alignment with User InterestsMicrosoft Research has officially launched&nbsp;SocialReasoning-Bench, a groundbreaking evaluation benchmark designed to addre<!--autointro-->