Microsoft Research introduces Magnetar for proof-based general-purpose computing
Microsoft Research unveiled Magnetar, a system for proof-based general-purpose computing using zero-knowledge proofs. It verifies computing results without rerunning workloads or exposing sensitive data. Magnetar supports standard programming languages, delivers major speed gains, and provides quantum-resistant security, aiming to bring zero-knowledge proofs into mainstream use.
Sources and evidence
Summary last validated Oct 16, 2026
Reader actions
Report an issue
Use this for an incorrect summary, wrong source, duplicate story, or wrong category. Submissions are private and do not change the story automatically.
Related coverage
- research
MIT and Boston Children's Hospital develop symmetry-aware AI for fetal ultrasound
Researchers at MIT and Boston Children's Hospital developed a model that teaches AI about symmetry to adjust fetal ultrasound scans on the fly, tracking fetal movement during imaging. The approach aims to make prenatal diagnosis more reliable and could spare families repeat hospital visits when scans are inconclusive.
- research
Meta details GenRecs tokenization for generative ads recommendation
Meta published an engineering post on GenRecs Tokenization, the data representation layer behind its Generative Recommenders for ads. Meta says the system shifts from scoring every ad to reasoning over ad content and user preferences using LLM world knowledge, with a stable model vocabulary intended to make ad matching more precise and compound gains for advertisers.
- security
Microsoft adds agent risk controls to Microsoft 365 E7 and Project Perception
Microsoft announced new security capabilities in Microsoft 365 E7 and Project Perception aimed at containing agent risk and adapting protection continuously. The company framed AI agents as a new class of insider threat, saying security operations must match the speed at which agents act. No pricing, availability dates, or technical specifics were disclosed in the post.
- research
MIT researchers give AI models 3D understanding of crystalline materials
MIT researchers published work aimed at helping AI models understand crystalline materials in three dimensions and reason about their properties. The approach targets a gap in how models represent crystal structures, which are typically described in formats that lose 3D spatial information. The research was announced by MIT News.
- research
Google Research grounds AI agents in wet-lab robotics with VERID framework
Google Research outlined three projects bringing AI agents to physical wet labs, including the VERID framework for safe, resource-efficient experimentation grounded in physical measurements. The team demonstrated closed-loop agentic discovery for aptamer and de-novo protein design, reporting single-digit nanomolar protein binders for cancer targets. The work targets gaps in 3D reasoning and slow experimental feedback.